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