School of Informatics | Mathematical Foundations of Informatics
I201 | ALL | Haghverdi
Prerequisite(s): INFO-I 101 and MATH-M 118, MATH-A 118, MATH-S 118,
or MATH-D 116-117.
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. Credit given for only one INFO-I 201 or H 201.