MATHEMATICAL LOGIC

Major
Mathematics
Quarter
Winter
Year
2021
Course Number
MATHEMATICS CS 120ML, Section 1
Enrollment Code
66894
Instructor(s)
Date & Time
MWF 3:00pm- 3:50pm (Synchronous)
Location
On Line

Course Description

Mathematical Logic: Set theory, ordinal arithmetic, first order predicate calculus, Turing machines and recursive functions. Godel’s completeness and incompleteness theorems. The existence of unsolvable problems.