|Title||Logic in Computer Science|
|Credits||3 - credits|
Dr. Leo Bachmair
A survey of the logical foundations of mathematics and the relationships to computer science. Development of propositional calculus and quantification theory; the notions of a proof and of a model; The completeness theorem.
|Major Topics Covered in Course|