School of Informatics | Mathematical Foundations of Informatics, Honors
H201 | 11782 | Myers

Honors version of INFO I201. Credit given for only one of INFO H201
or I201.

An introduction to methods of analytical, abstract, and critical
thinking; deductive reasoning; and logical and mathematical tools
used in information sciences. The topics include propositional and
predicate logic, natural deduction proof system, sets, functions and
relations, proof methods in mathematics, mathematical induction, and
graph theory. Cross-listed with COGS Q250. Credit given for only one
INFO I201, INFO H201, or COGS Q250.