In this brief lecture record, the topics covered are specified with reference to the index of the lecture material.

• Monday 18/01/10 - Introductory lecture: 1.1
• Tuesday 19/01/10 - Basic concepts and terminology of propositional logic: 1.3, 1.4, 2.1
  declarative statements, propositional connectives, sequents / premises and conclusions
• Friday 22/01/10 - Natural deduction rules for propositional logic: 1.5, 1.7
• Monday 25/01/10 - Illustrating natural deduction in practice: 1.6, 1.8
• Tuesday 26/01/10 - Motivating propositional logic semantics: 2.3
  The Law of the Excluded Middle, non-constructive proof, counter intuitive meaning of →
• Friday 29/01/10 - Provability and validity: concepts of soundness, completeness and decidability: 2.2
  natural deduction for propositional logic is sound and complete; validity of sequents is decidable
  NB: formal proofs of soundness and completeness omitted
• Monday 1/02/10 - Predicate logic - motivation: 1.2, and formal language: 4.1, 4.2, 4.4, 4.5
• Tuesday 2/02/10 - Semantics of predicate logic: 4.8, 4.9
• Friday 5/02/10 - Model-checking for algebras using Alloy: 1.2, 3.5, 3.6

• Monday 1/03/10 - Classtest
• Tuesday 2/03/10 - Soundness of natural deduction for propositional logic, 2.4
• Friday 5/03/10 - Completeness of natural deduction for propositional logic, 2.5
• Monday 8/03/10 - Conjunctive normal form for propositional logic, 3.1, 3.2, 3.3
• Tuesday 9/03/10 - Axioms of Boolean algebra, models of Boolean algebra, 3.5, 3.6
• Monday 15/03/10 - Predicate logic: soundness, completeness, undecidability, 5.1, 5.2
• Tuesday 16/03/10 - Expressiveness of predicate logic, 5.3, Introducing program verification 6.1

• Monday 26/04/10 - Introducing program verification, 6.1, 6.4, 6.5
• Tuesday 27/04/10 - Program verification framework, 6.2, 6.3, 6.6, 6.7