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:
2024 Summer
Section | Class Number | Schedule/Time | Instructor | Location | |
---|---|---|---|---|---|
01 | 2460 | MW 4:30 - 7:30 pm |
TBD | University Hall Y03-3380 | |
Session:
SS1 6W
Class Dates:
05/28/2024 - 07/11/2024
Capacity:
20
Enrolled:
4
Status:
Open
Credits:
3/3
Class Notes:
Pre Requisites:
Pre-requisite: CS 220 or MATH 360
Course Attributes:
|