Detailed Course Information |
2024 Fall
Jan 15, 2025 |
|
 |
||
 | Select the desired Level or Schedule Type to find available classes for the course. |
| MATH 301 - Introduction to Mathematical Logic |
|
Propositional and first-order predicate logic from a mathematical viewpoint. Axiomatically built theories and their models. Detailed study of one or more simple mathematical theories. Recursive functions. Basic ideas of automated theorem proving.
***Prerequisite: MATH 221.***
3.000 Credit hours 3.000 Lecture hours Levels: Undergraduate Schedule Types: Lecture, Examination Mathematics & Statistics Department Restrictions: Must be enrolled in one of the following Levels: Undergraduate Graduate |
| Return to Previous | New Search |
|