1. Home

LGIC3200 - Logic and Computability 2

Status
A
Activity
SEM
Section number integer
401
Title (text only)
Logic and Computability 2
Term
2025A
Subject area
LGIC
Section number only
401
Section ID
LGIC3200401
Course number integer
3200
Meeting times
TR 3:30 PM-4:59 PM
Level
undergraduate
Instructors
Marco Zaninelli
Description
The course is a continuation of PHIL 4721. Cross-list with MATH5710 and LGIC3200.
Course number only
3200
Cross listings
MATH5710401, PHIL4722401, PHIL6722401
Use local description
No

LGIC2200 - Discrete Mathematics II

Status
A
Activity
LEC
Section number integer
401
Title (text only)
Discrete Mathematics II
Term
2025A
Syllabus URL
https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202510&…
Subject area
LGIC
Section number only
401
Section ID
LGIC2200401
Course number integer
2200
Meeting times
TR 10:15 AM-11:44 AM
Level
undergraduate
Instructors
Andre Scedrov
Description
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.
Course number only
2200
Cross listings
MATH3410401
Use local description
No

LGIC1710 - Introduction to Logic

Status
A
Activity
REC
Section number integer
405
Title (text only)
Introduction to Logic
Term
2025A
Subject area
LGIC
Section number only
405
Section ID
LGIC1710405
Course number integer
1710
Meeting times
F 12:00 PM-12:59 PM
Level
undergraduate
Instructors
Idil Cakmur
Daniel Singer
Description
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.
Course number only
1710
Cross listings
PHIL1710405
Fulfills
Formal Reasoning & Analysis
Use local description
No

LGIC1710 - Introduction to Logic

Status
A
Activity
REC
Section number integer
404
Title (text only)
Introduction to Logic
Term
2025A
Subject area
LGIC
Section number only
404
Section ID
LGIC1710404
Course number integer
1710
Meeting times
F 10:15 AM-11:14 AM
Level
undergraduate
Instructors
Idil Cakmur
Daniel Singer
Description
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.
Course number only
1710
Cross listings
PHIL1710404
Fulfills
Formal Reasoning & Analysis
Use local description
No

LGIC1710 - Introduction to Logic

Status
A
Activity
REC
Section number integer
403
Title (text only)
Introduction to Logic
Term
2025A
Subject area
LGIC
Section number only
403
Section ID
LGIC1710403
Course number integer
1710
Meeting times
F 10:15 AM-11:14 AM
Level
undergraduate
Instructors
Lauren Colleen Perry
Daniel Singer
Description
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.
Course number only
1710
Cross listings
PHIL1710403
Fulfills
Formal Reasoning & Analysis
Use local description
No

LGIC1710 - Introduction to Logic

Status
A
Activity
REC
Section number integer
402
Title (text only)
Introduction to Logic
Term
2025A
Subject area
LGIC
Section number only
402
Section ID
LGIC1710402
Course number integer
1710
Meeting times
F 8:30 AM-9:29 AM
Level
undergraduate
Instructors
Lauren Colleen Perry
Daniel Singer
Description
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.
Course number only
1710
Cross listings
PHIL1710402
Fulfills
Formal Reasoning & Analysis
Use local description
No

LGIC1710 - Introduction to Logic

Status
A
Activity
LEC
Section number integer
401
Title (text only)
Introduction to Logic
Term
2025A
Subject area
LGIC
Section number only
401
Section ID
LGIC1710401
Course number integer
1710
Meeting times
TR 9:00 AM-9:59 AM
Level
undergraduate
Instructors
Daniel Singer
Description
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.
Course number only
1710
Cross listings
PHIL1710401, PHIL5710401
Fulfills
Formal Reasoning & Analysis
Use local description
No

LGIC4960 - Topics in Mathematical Logic

Status
A
Activity
SEM
Section number integer
401
Title (text only)
Topics in Mathematical Logic
Term
2024C
Subject area
LGIC
Section number only
401
Section ID
LGIC4960401
Course number integer
4960
Meeting times
TR 10:15 AM-11:44 AM
Meeting location
WILL 307
Level
undergraduate
Instructors
Scott Weinstein
Description
The course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory.
Course number only
4960
Cross listings
MATH6770401, PHIL4720401, PHIL6720401
Use local description
No

LGIC3100 - Logic and Computability 1

Status
A
Activity
LEC
Section number integer
401
Title (text only)
Logic and Computability 1
Term
2024C
Syllabus URL
https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202430&…
Subject area
LGIC
Section number only
401
Section ID
LGIC3100401
Course number integer
3100
Meeting times
TR 3:30 PM-4:59 PM
Meeting location
DRLB 3C8
Level
undergraduate
Instructors
Henry Piers Towsner
Description
This graduate course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory.
Course number only
3100
Cross listings
MATH5700401, PHIL4721401, PHIL6721401
Use local description
No

LGIC2100 - Discrete Mathematics I

Status
A
Activity
LEC
Section number integer
401
Title (text only)
Discrete Mathematics I
Term
2024C
Syllabus URL
https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202430&…
Subject area
LGIC
Section number only
401
Section ID
LGIC2100401
Course number integer
2100
Meeting times
TR 10:15 AM-11:44 AM
Meeting location
DRLB 3C8
Level
undergraduate
Instructors
Andre Scedrov
Description
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.
Course number only
2100
Cross listings
MATH3400401
Use local description
No
Subscribe to