Day 12:
Discrete Math
Last Time:
Logic Programming (with PROLOG), and problems from 1.4
Today:
Section 2.1: Proof Techniques
Next Time:
Section 2.1 Problems
Website maintained by
Andy Long
. Comments appreciated.