Courses for Spring 2023
| Title | Instructors | Location | Time | Description | Cross listings | Fulfills | Registration notes | Syllabus | Syllabus URL | ||
|---|---|---|---|---|---|---|---|---|---|---|---|
| LGIC 1710-401 | Introduction to Logic | Scott Weinstein | PCPE AUD | 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 | https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202310&c=LGIC1710401 | |||
| LGIC 1710-402 | Introduction to Logic | Jacqueline Mae Wallis | WILL 4 | 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, PHIL5710402 | Formal Reasoning & Analysis | ||||
| LGIC 1710-403 | Introduction to Logic | Jacqueline Mae Wallis | WILL 4 | 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, PHIL5710403 | Formal Reasoning & Analysis | ||||
| LGIC 1710-404 | Introduction to Logic | Max D Korman | MCNB 395 | F 12:00 PM-12:59 PM | 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. | PHIL1710404, PHIL5710404 | Formal Reasoning & Analysis | ||||
| LGIC 1710-405 | Introduction to Logic | Aileen Guan | COHN 204 | F 1:45 PM-2:44 PM | 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. | PHIL1710405, PHIL5710405 | Formal Reasoning & Analysis | ||||
| LGIC 2200-401 | Discrete Mathematics II | Andre Scedrov Xinxuan Wang |
DRLB 3C6 | 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=202310&c=LGIC2200401 | ||||
| LGIC 4999-005 | Independent Study | Scott Weinstein | Student arranges with a faculty member to pursue an independent research project on a suitable topic. |