MAT 3361 Introd to Mathematical Logic

3 units
Mathematics
Faculty of Science
Formal approaches to propositional and predicate logic. Syntax and Semantics. Formal proof systems. Completeness and compactness. Formal theories and their models. Topics chosen from: logics in computer science, foundations of mathematics, set theory, computability theory.

Components:

Lecture

Requirements:

Prerequisites: MAT 2362 and one of MAT 2120, MAT 2125 , MAT 2141 , MAT 2143 , MAT 2348 or CSI 2101 .

Previously Offered Terms:

Winter

French Equivalent:

MAT 3761
GradesEvaluations
All Professors
B+ Average (6.689)
Most Common: A+ (22%)
45 students

P

S

NS

F

D

C

B

A-

A+

Sacha Ikonicoff

Winter 2023 - A00

C+ Average (5.077)
Most Common: F (31%)
13 students

P

S

NS

F

D

C

B

A-

A+

Unknown Professor

Winter 2022 - A00

B+ Average (6.917)
Most Common: B+ (25%)
12 students

P

S

NS

F

D

C

B

A-

A+

Pieter Hofstra

Winter 2019 - A00

A- Average (7.600)
Most Common: A+ (35%)
20 students

P

S

NS

F

D

C

B

A-

A+