Additional Notes / Readings
resource about binary numbers, binary addition, and binary multiplication
, posted by Prof. Rebelsky at Grinnell College Computer Science. For CS378, we only really need to know the parts about converting binary numbers to decimals, binary addition, binary multiplication, and converting decimals to binary, but every part of it is useful in general for CS applications.
An example proof
of a relatively simple proposition about sets, to illustrate the details present in such a proof.
An introduction to and template for structural induction
, illustrated on an example about propositional logic formulas.