1. Home

LGIC3200 - Logic and Computability 2

Status
A
Activity
SEM
Section number integer
401
Title (text only)
Logic and Computability 2
Term
2024A
Syllabus URL
https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202410&…
Subject area
LGIC
Section number only
401
Section ID
LGIC3200401
Course number integer
3200
Meeting times
TR 1:45 PM-3:14 PM
Meeting location
DRLB 2C4
Level
undergraduate
Instructors
Andre Scedrov
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

LGIC4960 - Topics in Mathematical Logic: Game Theory, Artificial Intelligence, and Existential Risk

Status
A
Activity
SEM
Section number integer
401
Title (text only)
Topics in Mathematical Logic: Game Theory, Artificial Intelligence, and Existential Risk
Term
2024A
Subject area
LGIC
Section number only
401
Section ID
LGIC4960401
Course number integer
4960
Meeting times
MW 1:45 PM-3:14 PM
Meeting location
DRLB 2C4
Level
undergraduate
Instructors
Aydin Mohseni
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

LGIC2200 - Discrete Mathematics II

Status
A
Activity
LEC
Section number integer
401
Title (text only)
Discrete Mathematics II
Term
2024A
Syllabus URL
https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202410&…
Subject area
LGIC
Section number only
401
Section ID
LGIC2200401
Course number integer
2200
Meeting times
TR 10:15 AM-11:44 AM
Meeting location
DRLB 3C4
Level
undergraduate
Instructors
Oualid Merzouga
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
403
Title (text only)
Introduction to Logic
Term
2024A
Subject area
LGIC
Section number only
403
Section ID
LGIC1710403
Course number integer
1710
Meeting times
F 10:15 AM-11:14 AM
Meeting location
WILL 215
Level
undergraduate
Instructors
Maximilian James Gebauer
Aydin Mohseni
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
2024A
Subject area
LGIC
Section number only
402
Section ID
LGIC1710402
Course number integer
1710
Meeting times
F 8:30 AM-9:29 AM
Meeting location
WILL 214
Level
undergraduate
Instructors
Maximilian James Gebauer
Aydin Mohseni
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
2024A
Subject area
LGIC
Section number only
401
Section ID
LGIC1710401
Course number integer
1710
Meeting times
MW 10:15 AM-11:14 AM
Meeting location
EDUC 202
Level
undergraduate
Instructors
Maximilian James Gebauer
Aydin Mohseni
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

LGIC3100 - Logic and Computability 1

Status
A
Activity
LEC
Section number integer
401
Title (text only)
Logic and Computability 1
Term
2023C
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
WILL 25
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
2023C
Syllabus URL
https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202330&…
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 3C4
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

LGIC4960 - Topics in Mathematical Logic

Status
A
Activity
SEM
Section number integer
401
Title (text only)
Topics in Mathematical Logic
Term
2023C
Syllabus URL
https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202330&…
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
HAYD 360
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

LGIC4999 - Independent Study

Status
A
Activity
IND
Section number integer
5
Title (text only)
Independent Study
Term
2023A
Subject area
LGIC
Section number only
005
Section ID
LGIC4999005
Course number integer
4999
Level
undergraduate
Instructors
Scott Weinstein
Description
Student arranges with a faculty member to pursue an independent research project on a suitable topic.
Course number only
4999
Use local description
No
Subscribe to