Posts
-
Proof Tips from my Old CS Theory Class
Back in the early 20-teens I was a TA for CS103, Stanford’s introduction to CS theory. For many of the students it was their first introduction to proof-based mathematics. We started off with an introduction to propositional logic, with two-column proofs and very explicit rules about how everything was supposed to work.
subscribe via RSS