Aug 12, 2022  
2018-2019 Undergraduate Bulletin 
    
2018-2019 Undergraduate Bulletin [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

INFM 242 - Logical Foundations for Informatics


3 credit hours
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.  Prerequisite(s): MATH 147 .



Add to Portfolio (opens a new window)