1. Home

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

LGIC1710 - Introduction to Logic

Status
A
Activity
REC
Section number integer
405
Title (text only)
Introduction to Logic
Term
2023A
Subject area
LGIC
Section number only
405
Section ID
LGIC1710405
Course number integer
1710
Meeting times
F 1:45 PM-2:44 PM
Meeting location
COHN 204
Level
undergraduate
Instructors
Aileen Guan
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, PHIL5710405
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
2023A
Subject area
LGIC
Section number only
404
Section ID
LGIC1710404
Course number integer
1710
Meeting times
F 12:00 PM-12:59 PM
Meeting location
MCNB 395
Level
undergraduate
Instructors
Max D Korman
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, PHIL5710404
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
2023A
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 4
Level
undergraduate
Instructors
Jacqueline Mae Wallis
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, PHIL5710403
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
2023A
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 4
Level
undergraduate
Instructors
Jacqueline Mae Wallis
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, PHIL5710402
Fulfills
Formal Reasoning & Analysis
Use local description
No
Subscribe to