MATH 3410

Introduction to Mathematical Logic

General information

3 credit hours

Course description

Propositional and first-order logic. Recursion theory.

Prerequisites

MATH 2020 (C)

Information for the Fall 2017 term

No lectures and tutorials in the Fall 2017 term OR no information in our database (check Aurora)

Past examinations

News

In an effort to help students, the Math department has put together the LevelUp program. See details here. Video explaining registration process is here.

Events

Tuesday, September 26th, 2017 at 14:40, 418 Machray Hall
R. Padmanabhan
Circle-realizable \( (n_4) \)-configurations
(Seminar series : Rings and Modules)

Tuesday, September 26th, 2017 at 15:00, 205 Armes Building
Ievgen Bilokopytov
Continuity and Holomorphicity of Symbols of Weighted Composition Operators
(Seminar series : Functional Analysis)

Monday, October 2nd, 2017 at 15:00, 415 Machray Hall
Kristin Courtney
TBA
(Seminar series : Functional Analysis)

Friday, November 3rd, 2017 at 08:00, TBA
Steve Reinhardt
TBA
(Seminar series : Colloquium)