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.