Academics Navigation
Academics
You are here
Courses
Campus | Haverford |
Semester | Fall 2019 |
Registration ID | MATHH394A001 |
Course Title | Advanced Topics in Theoretical Computer Science & Discrete Mathematics: Logic |
Credit | 1.00 |
Department | Mathematics |
Instructor | Lippel,David A. |
Times and Days | MWF 11:30am-12:30pm
|
Room Location | LNKL205 |
Additional Course Info | Class Number: 2443 An introduction to mathematical logic. Topics include: propositional logic, first-order logic, natural deduction, semantics, the Completeness and Compactness Theorems.; Crosslisted: Mathematics, Computer Science; Prerequisite(s): Either MATH 333 or MATH 317, or instructor consent; Enrollment Limit: 15 Div: II; Natural Science, C: Physical and Natural Processes (; Hav: NA, C) |
Miscellaneous Links |