Mathematical Logic
Course #: MATH 470
Description:
Syntax and semantics of propositional and first order predicate logic. Axiomatic theories and completeness. Brief discussion of incompleteness results.
Pre Requisites: Pre-requisite: CS 220 or MATH 360
Offered in:
2025 Summer
| Section | Class Number | Schedule/Time | Instructor | Location | |
|---|---|---|---|---|---|
| 01 | 2288 | MW 4:30 - 7:30 pm |
TBD, | University Hall Y04-4140 | |
|
Session:
SS1 6W
Class Dates:
05/27/2025 - 07/10/2025
Capacity:
30
Enrolled:
0
Status:
Open
Credits:
3/3
Class Notes:
Pre Requisites:
Pre-requisite: CS 220 or MATH 360
Course Attributes:
|
|||||