• DB (3C13/D6) - UCL, London
  
  1. Week 1: ER Diagrams
  2. Week 2: Normalization
  3. Week 3: SQL
  4. Week 4: SQL | Example B-Tree | Deletion B-Tree
• Theory I (1B12) - UCL, London
  Slides on the theorem prover assignment
  
• Principles of Programming (1007) - UCL, London
  
  1. Week 1: WORD document
  2. Week 2: Power-point presentation | PS
  3. Week 3: Power-point presentation | PS
  4. Week 4: Power-point presentation | PS
  5. Week 5: Power-point presentation | PS
  6. Week 6, the procedural meaning of Prolog.
     Prolog slides (in PDF) used in the Technion
  7. Week 7: Power-point presentation | PS
  8. Week 8: Power-point presentation | PS
  9. Week 9: Power-point presentation