School of Informatics | Math Foundations of Informatics
I201 | 16058-27336 | Haghverdi, Tang

4cr. P: INFO I101 and MATH M118, MATH A118, MATH S118, or MATH D116-
D117. 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
either INFO I201 or COGS Q250.