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:
Previously Offered Terms:
Winter
French Equivalent:
Organized
24 responses
4.58
/ 5
Clear Expectations
8 responses
4.00
/ 5
Learned a Lot
24 responses
4.70
/ 5
Recommend
15 responses
4.53
/ 5
Workload
16 responses
2.56
/ 5
Fair Assessments
24 responses