CSE541
Course | CSE541 |
Title | Logic in Computer Science |
Description |
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. |
Prerequisite |
MAT 313 and CSE 213 |
Credits | 3 - credits |
Course Outcomes | |
Textbook | |
Course Webpage |