For something completely different, today I talk (erm, write) about a BBC documentary on Logic. It starts with Socrates Syllogisms up to Boole algebra. Then a quick visit on Mathematics nightmare of trying to prove Mathematics logically (yeah, Maths aren’t logic!), introducing first order logic. Then, we get back to Boole algebra and Alan Turing, and understand how it changed the world, and how you, my friend, are using Boole algebra in your computer, at levels you might not think of.
This should be a required documentary for every computer science student (or researcher). It is really worth to “lose” a class to show this to our students.