MAT 3361 Introd to Mathematical Logic

3 crédits
Mathematiques
Faculte des sciences
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.

Volet:

Cours magistral

Exigences:

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

Terme proposées précédemment:

Hiver

Équivalent Français:

MAT 3761
NotesÉvaluations
Tous Les Professeurs
Moyenne B+ (6.689)
Le plus fréquent: A+ (22%)
45 étudiants

P

S

NS

F

D

C

B

A-

A+

Sacha Ikonicoff

Hiver 2023 - A00

Moyenne C+ (5.077)
Le plus fréquent: F (31%)
13 étudiants

P

S

NS

F

D

C

B

A-

A+

Professeur Inconnus

Hiver 2022 - A00

Moyenne B+ (6.917)
Le plus fréquent: B+ (25%)
12 étudiants

P

S

NS

F

D

C

B

A-

A+

Pieter Hofstra

Hiver 2019 - A00

Moyenne A- (7.600)
Le plus fréquent: A+ (35%)
20 étudiants

P

S

NS

F

D

C

B

A-

A+