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
Enrollment Restrictions: May not be enrolled in one of the following Degrees: Intending Egr & CS, Pre_Degree.

Level: Undergraduate
Schedule Type(s): Lecture