I201 | ALL | Haghverdi

4cr. 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.