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