MATC09H3

UTSC

Introduction to Mathematical Logic

Predicate calculus. Relationship between truth and provability; Gödel's completeness theorem. First order arithmetic as an example of a first-order system. Gödel's incompleteness theorem; outline of its proof. Introduction to recursive functions.

View full details on the UofT Academic Calendar
Prereq: MATB24H3 and [MATB43H3 or CSCB36H3]Breadth: Quantitative ReasoningExcl: MAT309H, CSC438H
Easy0%
Useful0%
0
comments
0
ratings

Course Info

DepartmentMATC
CampusUTSC (Scarborough)
Level0
HoursTBA
BreadthQuantitative Reasoning
What do you think of MATC09H3?

Reviews

No reviews yet — be the first to share your experience.