Courses for Spring 2024
| Title | Instructors | Location | Time | Description | Cross listings | Fulfills | Registration notes | Syllabus | Syllabus URL | ||
|---|---|---|---|---|---|---|---|---|---|---|---|
| LGIC 1710-401 | Introduction to Logic | Maximilian James Gebauer Aydin Mohseni |
EDUC 202 | MW 10:15 AM-11:14 AM | This course provides an introduction to some of the fundamental ideas of logic. Topics will include truth functional logic, quantificational logic, and logical decision problems. | PHIL1710401, PHIL5710401 | Formal Reasoning & Analysis | ||||
| LGIC 1710-402 | Introduction to Logic | Maximilian James Gebauer Aydin Mohseni |
WILL 214 | F 8:30 AM-9:29 AM | This course provides an introduction to some of the fundamental ideas of logic. Topics will include truth functional logic, quantificational logic, and logical decision problems. | PHIL1710402 | Formal Reasoning & Analysis | ||||
| LGIC 1710-403 | Introduction to Logic | Maximilian James Gebauer Aydin Mohseni |
WILL 215 | F 10:15 AM-11:14 AM | This course provides an introduction to some of the fundamental ideas of logic. Topics will include truth functional logic, quantificational logic, and logical decision problems. | PHIL1710403 | Formal Reasoning & Analysis | ||||
| LGIC 2200-401 | Discrete Mathematics II | Oualid Merzouga Andre Scedrov |
DRLB 3C4 | TR 10:15 AM-11:44 AM | Topics will be drawn from some subjects useful in the analysis of information and computation: logic, set theory, theory of computation, number theory, probability, and basic cryptography. | MATH3410401 | https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202410&c=LGIC2200401 | ||||
| LGIC 3200-401 | Logic and Computability 2 | Andre Scedrov | DRLB 2C4 | TR 1:45 PM-3:14 PM | The course is a continuation of PHIL 4721. Cross-list with MATH5710 and LGIC3200. | MATH5710401, PHIL4722401, PHIL6722401 | https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202410&c=LGIC3200401 | ||||
| LGIC 4960-401 | Topics in Mathematical Logic: Game Theory, Artificial Intelligence, and Existential Risk | Aydin Mohseni | DRLB 2C4 | MW 1:45 PM-3:14 PM | The course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory. | MATH6770401, PHIL4720401, PHIL6720401 |