Courses for Fall 2025 | Logic, Information, and Computation

	Title	Instructors	Time	Description	Cross listings	Fulfills	Syllabus URL
LGIC 1710-401	Introduction to Logic	Quayshawn Nigel Julian Spencer	MW 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.	PHIL1710401, PHIL5710401	Formal Reasoning & Analysis
LGIC 1710-402	Introduction to Logic	Yuhin Chung Quayshawn Nigel Julian Spencer	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	Yuhin Chung Quayshawn Nigel Julian Spencer	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 2100-401	Discrete Mathematics I	Andre Scedrov	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
LGIC 3100-401	Logic and Computability 1	Henry Piers Towsner	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, PHIL4721401, PHIL6721401
LGIC 4960-401	Topics in Mathematical Logic	Scott Weinstein	TR 10:15 AM-11:44 AM	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		https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202530&c=LGIC4960401