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