Overview of Logic and Computation 2013
Schedule
The course will be structured as follows:
- Introduction to Propositional Logic (SAT solving)
From 22 July to 25 July
- Overview of the course and assessment details
On 29 July
- Introduction to Propositional Logic (continued)
From 31 July to 1 August inclusive
- Introduction to First-Order Logic
(First-Order Logic, Calculi, Soundness and Completeness).
From 5-14 August 2013. - Break (no lectures)
From 15-22 August 2013 inclusive - Untyped Lambda Calculi
From 26 August to 4 September 2013 inclusive - Typed Lambda Calculi
From 5-25 September 2013 inclusive - Propositional Modal, Temporal and Dynamic Logic
From 26 September - 23 October 2013 inclusive - Intuitionistic Logic
From 24 - 28 October 2013 inclusive
There is a schedule in tabular format
The room is JD 102 Building 27 except on Thu when it is JD 101 Building 27.
Notes
We will provide the slides used in class or handouts of the slides. There is no canonical reading material, given that the course is given by a number of people and quite broad. We will point to literature as the course proceeds.


