|
|
|
|
|
|
|
|
|
|
 |
 |
 |
||||
|
CS 388L: Intro to Mathematical Logic
|
|
||||
|
|
|
||||
|
DescriptionThis course is an elementary but mathematically solid introduction to propositional and predicate logic. There will be no textbook; the necessary definitions will be provided in a series of handouts. Students will learn logic mostly by doing homework problems and presenting their solutions in class. Attendance and active participation will be crucial. |
|
||||
|
|
|
||||
|
PrerequisitesGraduate Standing |
|
||||
 |
|
 |