1. Why should a student of computer science bother with proofs? 2. Formal and empirical methods in CS 3. You can be a good proof reader but not a good theorem prover 4. Proof techniques are independent of their subject matter 5. Proving things may make you a better observer 6. Etymology of the word "theorem" 7. Video Narration: Vladimir Kulyukin 8. Errors, comments, bugs to vladimir dot kulyukin at gmail dot com
Related Videos
Theory of Computation: Why Bother with Proofs?
1. Why should a student of computer science bother with proofs? 2. Formal and empirical methods in CS 3. You can be a good proof reader but not a good theorem prover 4. Proof techniques are independent of their subject matter 5. Proving things may make you a better observer 6. Etymology of the word "theorem" 7. Video Narration: Vladimir Kulyukin 8. Errors, comments, bugs to vladimir dot kulyukin at gmail dot com
1. Why should a student of computer science bother with proofs? 2. Formal and empirical methods in CS 3. You can be a good proof reader but not a good theorem prover 4. Proof techniques are independent of their subject matter 5. Proving things may make you a better observer 6. Etymology of the word "theorem" 7. Video Narration: Vladimir Kulyukin 8. Errors, comments, bugs to vladimir dot kulyukin at gmail dot com