Course |
CSE371 |
Title |
Logic |
Credits |
3 |
Course Coordinator |
Anita Wasilewska
|
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. This course is offered as both CSE 371 and MAT 371.
Bulletin Link
|
Prerequisite |
CSE 150 or CSE 215 or MAT 200 or MAT 250
|
Course Outcomes |
- An understanding of classical propositional and predicate logic, including a full development of syntax, semantics, and proof techniques
- An understanding of semantic and syntactic concepts, e.g., truth versus proof, by exploring the soundness and completeness of calculi for these logics
- An ability to apply abstract reasoning skills through experience with formal proofs
- A working knowledge of non-classical logics and their use in Computer Science
|
Textbook |
- Anita Wasilewska, Logics for Computer Science: Classical and Non-Classical, Springer, 2018.
|
Major Topics Covered in Course |
- 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.
|
Laboratory Projects |
Not applicable since it is a theory course.
|
Course Webpage |
CSE371
|