Logic for Computer Scientists

Course Type: 
CS
Code: 
2210
Level: 
Undergraduate
Credit Hours: 
3
Schedule Type: 
Lecture
Description: 

Fundamental material in foundations of logic most relevant to Computer Science. Propositional logic, predicate logic, modeling of knowledge, and algorithms for logical reasoning.

Prerequisites: 

Undergraduate level MTH 2570 Minimum Grade of D or Undergraduate level CS 2200 Minimum Grade of D