Lecture Notes

• Overview (Slides).
• While Languae (Slides).
• Data Flow Analysis (Slides).
• Monotone Framework (Slides).

Tutorial Notes

Teaching Schedule - Spring Term

• Lectures: Tue 16:00-18:00 and Thu 14:00-16:00 in 144
• Tutorials: Typically Tue 15:00
• Coursework Test 1 - Tue 27 January 16:00
• Coursework Test 2 - Tue 17 February 16:00

Lecture Notes

• Register Machine (Slides).
• Universal Register Machine (Slides).
• Halting Problem (Slides).

Tutorial Notes

Teaching Schedule - Spring Term

• Lectures: Wed 10:00-12:00 in 311 and Thu 11:00-12:00 in 308
  
• Tutorials: Typically Wed 11:00
  
• Coursework: One Day Revision Test
  

Lecture Notes

• Quantum Physics and Concepts (Slides).
• Quantum State and Evolution (Slides).
• Quantum Measurement and Registers (Slides).
• Quantum Gates and Circuits (Slides).
• Quantum Cryptography and No Cloning (Slides).
• Quantum Algorithms: Deutsch Problem (Slides).

Lecture Notes

• Day1: Computation and Probability - (print version)
• Day2: A Probabilistic Language and its Semantics - (print version)
• Day3: Probablistic Abstract Interpretation - (print version)
• Day4: Data Flow Analysis and Regression - (print version)
• Day5: Logic and Analysis - (print version)