Courses with significant overlap with this course:

Semester of last offering:

Date of approval: dd-mmm-yyyy

Prerequisites:  

Course Contents

1. Propositional logic syntax and semantics.

2. Tautologies, axiom system and deduction.

3. Proof of soundness and completeness.

4. First order logic syntax and semantics.

5. Structures, models, satisfaction and validity.

6. Axiomati-zation, soundness and completeness.

7. Optional: some advanced topics.

Topics