Logic

Fall 2015
Class: Tuesdays and Wednesdays, 15:30-17:15, SI-015
Instructor: Robert Soulé
Office hours: By appointment
Exam: TDB

Overview

This is a graduate-level course in mathematical logic, motivated by applications in computer science. The syllabus will include propositional logic, first order logic, and undecidability. Students should have a basic level of mathematical sophistication, and will be expected to complete weekly problem sets.

The course is open to Master students (MSc in Informatics) for 6 ECTS.

Details

Textbooks

We rely on one textbook:

Moodle

Please send class-related questions to the Discussions Forum on Moodle (unless, of course, they concern private rather than technical or organizational issues).

Grading Policy

TBD

Academic Integrity

I encourage you to collaborate on homework assignments. But you must write up and turn in your own answers. Also, you must clearly indicate who you collaborated with. If I detect any incidents of cheating, I will report them immediately to the department, and the assignment will be given a grade of 0.

Syllabus

Please be sure to regularly check this page for updates.

Feb 24
Propositional Logic I
  • Read Enderton 1.0 - 1.4
Feb 24
Feb 31
Propositional Logic II
  • Read Enderton 1.5, 1.7
Mar 1
Mar 8
Propositional Logic: Applications
  • Read Enderton 1.7
Mar 9
Mar 15
First-Order Logic: Syntax and Semantics
  • Read Enderton 2.0 - 2.3
Mar 16
Mar 22
First-Order Logic: Proof and Deduction
  • Read Enderton 2.4
Mar 23
Mar 29
Easter Holidays
Mar 30
Easter Holidays
Apr 5
First-Order Logic: Soundness and Completeness
  • Read Enderton 2.5
Apr 6
Apr 12
First-Order Logic: Compactness and Models
  • Read Enderton 2.6
Apr 13
Apr 19
No class
Apr 20
No class
Apr 26
First-Order Logic: Theories
  • Read Enderton 2.6
Apr 27
May 3
First-Order Logic: Applications
May 4
May 10
Undecidability: Introduction
  • Read Enderton 3.0-3.2
May 11
May 17
Undecidability: Representability
  • Read Enderton 3.3
May 18
May 24
No class
May 25
No class
May 31
Undecidability: Godel's Incompleteness Theorem
  • Read Enderton 3.4 - 3.7
Jun 1
Jun 7
Second-Order Logic, Resolution, Many-Sorted Logic
  • Read Enderton 4.1, 4.2, 4.3
Jun 8
Jun 14
Temporal Logic and Model Checking
Jun 15

Acknowledgements

The course website is based on the design by Robert Grimm. The material for this course is based on a similar course taught by Clark Barrett.