|Logic in Computer Science
|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