1. Home

LGIC1710 - Introduction to Logic

Status
A
Activity
LEC
Section number integer
401
Title (text only)
Introduction to Logic
Term
2023A
Syllabus URL
https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202310&…
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
PCPE AUD
Level
undergraduate
Instructors
Scott Weinstein
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

LGIC2200 - Discrete Mathematics II

Status
A
Activity
LEC
Section number integer
401
Title (text only)
Discrete Mathematics II
Term
2023A
Syllabus URL
https://coursesintouch.apps.upenn.edu/cpr/jsp/fast.do?webService=syll&t=202310&…
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 3C6
Level
undergraduate
Instructors
Andre Scedrov
Xinxuan Wang
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

LOGIC II

Section number integer
401
Title (text only)
LOGIC II
Term
2022A
Subject area
LGIC
Section number only
401
Section ID
LGIC320401
Course number integer
320
Meeting times
TR 3:30-5PM
Level
undergraduate
Instructors
WEINSTEIN S
Course number only
320
Use local description
No

DISCRETE MATHEMATICS II

Section number integer
401
Title (text only)
DISCRETE MATHEMATICS II
Term
2022A
Subject area
LGIC
Section number only
401
Section ID
LGIC220401
Course number integer
220
Meeting times
TR 10:15-11:45AM
Level
undergraduate
Instructors
SCEDROV A
Course number only
220
Use local description
No

FORMAL LOGIC I

Section number integer
403
Title (text only)
FORMAL LOGIC I
Term
2022A
Subject area
LGIC
Section number only
403
Section ID
LGIC010403
Course number integer
10
Meeting times
F 12-1PM
Level
undergraduate
Course number only
010
Use local description
No

FORMAL LOGIC I

Activity
LEC
Section number integer
401
Title (text only)
FORMAL LOGIC I
Term
2022A
Subject area
LGIC
Section number only
401
Section ID
LGIC010401
Course number integer
10
Meeting times
TR 12-1PM
Level
undergraduate
Instructors
WEINSTEIN S
Course number only
010
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
2022C
Subject area
LGIC
Section number only
401
Section ID
LGIC4960401
Course number integer
4960
Meeting times
TR 12:00 PM-1:29 PM
Meeting location
COLL 314
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, MATH6770401, PHIL4720401, PHIL4720401, PHIL6720401, PHIL6720401
Use local description
No

LGIC2100 - Discrete Mathematics I

Status
A
Activity
LEC
Section number integer
401
Title (text only)
Discrete Mathematics I
Term
2022C
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
Marc E Muhleisen
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, MATH3400401
Use local description
No
Subscribe to