Formal Logic and Code Complexity

New Beginnings: Week 3
Lecture Notes by Bart Massey
Copyright © 2014 Bart Massey

2014-07-14: Propositional Logic

2014-07-15: Formal Proof

2014-07-16: First-Order Logic

2014-07-17: Complexity and Python Performance