2015-2016 Academic Catalog 
    
    Dec 01, 2024  
2015-2016 Academic Catalog [ARCHIVED CATALOG]

CS 2210 - Logic for Computer Scientists



Credit Hour(s): 3
Fundamental material in foundations of logic most relevant to Computer Science. Propositional logic, predicate logic, modeling of knowledge, and algorithms for logical reasoning.
Prerequisite(s): Undergraduate level MTH 2570 Minimum Grade of D or Undergraduate level CS 2200 Minimum Grade of D
Level: Undergraduate
Schedule Type(s): Lecture