INFO-C 201 Mathematical Foundations of Informatics
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.