INFO-C 201 Mathematical Foundations of Informatics
Prerequisites: MATH-M 118 or higher
An introduction to methods of analytical, abstract, and critical thinking; deductive reasoning; and logical and mathematical tools used in information sciences. Topics include propositional and predicate logic, natural deduction proof system, sets, functions and relations, elementary statistics, proof methods in mathematics, and mathematical induction.
There is not a syllabus available for this course.