CSE541
| Course | CSE541 |
|---|---|
| Title | Logic in Computer Science |
| Credits | 3 - credits |
| Course Coordinator |
Dr. Leo Bachmair |
| 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. |
| Course Outcomes | |
| Textbook | |
| Major Topics Covered in Course | |
| Laboratory | |
| Course Webpage |
|