1. Home

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

LGIC3100 - Logic and Computability 1

Status
A
Activity
LEC
Section number integer
401
Title (text only)
Logic and Computability 1
Term
2022C
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 3N6
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, MATH5700401, PHIL4721401, PHIL4721401, PHIL6721401, PHIL6721401
Use local description
No
Subscribe to