Math for CS: Proof Methods

In this unit, we go over some proof methods. Two main ones are covered, followed by some tips about good proofs. Proof by cases Proof by contradiction I’ll spare the details here, but you can find it on the course website if you want to know the specifics. Why …



Math for CS: Intro to Proofs

A proposition is a statement that is either true or false. We are given some examples in plain English of what is a proposition and what isn’t. Then, we go on to mathematical examples, including Fermat’s last theorem and Goldbach’s conjecture. A predicate can be understood as …



New blog - my thoughts

Why am I getting into blogging? Partly as a way to deepen my own learning, but also to build a stronger online technical presence. I built this website using Python and the static site generator called pelican, with the Flex theme. I chose pelican to build my website because I …