|Select the Course Number to get further detail on the course. Select the desired Schedule Type to find available classes for the course.|
|INFM 242 - Logical Foundations for Informatics|
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.
3.000 Credit hours
Schedule Types: Online - do not use, Lecture, Hybrid - do not use
Textbook information for this course.