| CSE 541 |
|
Back to Graduate Courses |
| 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 or Corequisite | MAT 313 and CSE 213 |
| Credit Information | 3 - credits |
| Course Goals | |
| Course Webpage | http://www.cs.sunysb.edu/~cse541 |
| Course Coordinator | Dr. Leo Bachmair |
