| Call Number | 17224 |
|---|---|
| Day & Time Location |
W 12:10pm-2:00pm To be announced |
| Points | 3 |
| Grading Mode | Standard |
| Approvals Required | None |
| Instructor | Tamar A Lando |
| Type | SEMINAR |
| Method of Instruction | In-Person |
| Course Description | Syntax and semantics; deductive systems; completeness and compactness theorems; first order calculi; Godels completeness theorem; basic model theory, Skolem functions; Skolem-Lowenheim theorems. |
| Web Site | Vergil |
| Department | Philosophy |
| Enrollment | 12 students (20 max) as of 4:05PM Saturday, December 21, 2024 |
| Subject | Computing Science: Philosophy |
| Number | GU4801 |
| Section | 001 |
| Division | Graduate School of Arts and Sciences |
| Open To | Barnard College, Columbia College, Engineering:Undergraduate, GSAS, General Studies |
| Section key | 20251CSPH4801G001 |