
Online lecture from 1/19/2022. Sundry proofs, chosen to illustrate recurring ideas and themes. I had prepared 11 examples, and we got through 8 of them. Also included some general comments on…


Building a circuit for adding two 64bit values. Tautologies. A formal system for proving theorem. The completeness and soundness theorems for sentential logic. Adding quantifier: firstorder…


Lecture for January 5, 2022 of ECS 289M, Research in Computer Security Chat: 00:50:53 Greesan Gurumurthy: yes01:06:26 Karan Mehta: Wanted to know if the classes are going to be inperson from next…


Videos and all other materials are copyright 2021 Matthias Köppe and shared as Open Educational Resources subject to the Creative Commons AttributionShareAlike 3.0 Unported (CC BYSA 3.0)…










