Lecture slides

pdf git v1.7.3

Lecture videos

playlist 58m56s

  • introduction yt up
  • consequence operator (reloaded) yt up
  • solving from first principles yt up
  • complexity yt up
  • summary yt up

Blue board videos

  • approximation yt up

Extra slides

  • blue board, approximation pdf
  • expand example pdf

Exercise sheets

pdf git v1.2.0