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 |