Courses for Fall 2022
| Title | Instructors | Location | Time | Description | Cross listings | Fulfills | Registration notes | Syllabus | Syllabus URL | ||
|---|---|---|---|---|---|---|---|---|---|---|---|
| LGIC 2100-401 | Discrete Mathematics I | Marc E Muhleisen Andre Scedrov |
DRLB 3C4 | TR 10:15 AM-11:44 AM | Topics will be drawn from some subjects in combinatorial analysis with applications to many other branches of math and science: graphs and networks, generating functions, permutations, posets, asymptotics. | MATH3400401, MATH3400401 | |||||
| LGIC 3100-401 | Logic and Computability 1 | Henry Piers Towsner | DRLB 3N6 | TR 3:30 PM-4:59 PM | This graduate course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory. | MATH5700401, MATH5700401, PHIL4721401, PHIL4721401, PHIL6721401, PHIL6721401 | |||||
| LGIC 4960-401 | Topics in Mathematical Logic | Scott Weinstein | COLL 314 | TR 12:00 PM-1:29 PM | The course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory. | MATH6770401, MATH6770401, PHIL4720401, PHIL4720401, PHIL6720401, PHIL6720401 |