Title: Logic (crosslisted with CSE 371)
Description: A survey of the logical foundations of mathematics: development of propositional calculus and quantification theory, the notions of a proof and of a model, the completeness theorem, Gödel's incompleteness theorem.
Prerequisite: CSE 150 or CSE 215 or MAT 200 or MAT 250
Credits: 3
Major Topics Covered:
- Syntax and Semantics for Classical and Various Non-classical Propositional Logics
- Two Proofs of Completeness Theorem for Classical Propositional Logic
- Automated Theorem Proving Systems for Classical, Intuitioinistic Amd Modal S4, S5 Logics
- Constructive Completeness Theorem Proofs
- First Order Classical Logic: Syntax and Semantics
- Proof of Completeness Theorem
- Formal Theories Based on First Order Logic: Peano Arithmetic
- Discussion of Godel Incompleteness and Inconsistency Results
Undergraduate Bulletin Course Information
Course Webpages: