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