MATH 342
Logic Fall 2022
Division III Quantative/Formal Reasoning

Class Details

This course will introduce the main ideas and basic results of mathematical logic, and explain their applications to other areas of mathematics and computer science. We will begin with a study of first-order logic, covering structures and definability, theories, models and categoricity, as well as formal proofs. We will prove Gödel’s completeness and compactness theorems and the Lowenheim-Skolem theorems. The course will briefly dive into computability theory, enough to prove Gödel’s Incompleteness theorems and basic undecidability results.
The Class: Format: lecture
Limit: 20
Expected: 20
Class#: 1466
Grading: yes pass/fail option, yes fifth course option
Requirements/Evaluation: Evaluation based on homework, exams, and class participation.
Prerequisites: Math 250 - Linear Algebra
Enrollment Preferences: Junior and Senior Math Majors
Distributions: Division III Quantative/Formal Reasoning
QFR Notes: Mathematics course in logic and applications.

Class Grid

Updated 7:04 am

Course Catalog Search


(searches Title and Course Description only)
TERM




SUBJECT
DIVISION



DISTRIBUTION



ENROLLMENT LIMIT
COURSE TYPE
Start Time
End Time
Day(s)