Overview of Logic and Computation

Lectures

See the tabular schedule for the exact dates of lectures.

• 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