Q.e.d. Code

Apply the principles of predicate calculus to creating reliable software. Use a technique inspired by algebra to confidently change the structure of code without breaking it. And learn how the father of game theory paved the way to the digital computers that we use today. Explore the intersection between software and mathematics.