MATH 450 (Logic for Computer Science)
| DESCRIPTION |
An introduction to the techniques of formal (and valid)
reasoning with
special emphasis on how the von Neumann computer deals with the
classical
propositional and predicate calculus. |
| PREREQUISITES |
CMSC 251 and MATH 141 with a grade of C or better.
Note: MATH 450 is cross-listed with CMSC 450. Also, credit
is given for only one of MATH 445 or Math 450/CMSC 450.
|
| TOPICS |
Arguments and how to formalize arguments and then determine (if
possible)
their validity using both the Human and the Computer's viewpoint.
Completeness and soundness of formal systems.
Herbrand and Skolem normal forms
Downward/upward Lowenheim-Skolem theorems.
|
| TEXT |
Text(s)
typically used in this course. |
|
