Additional Notes / Readings
A good
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.
Some LaTeX resources:
A
recommended LaTeX resource
, as presented on
the website of Prof. Scott Taylor
(Colby Mathematics).
Overleaf
is a commonly used, browser-based editing environment for LaTeX; you are welcome to do your TeX-work in Overleaf, if you'd like. There's a
Learn LaTeX in 30 Minutes
guide from Overleaf, but I recommend that you also familiarize yourself with other LaTeX resources, such as those from Prof. Taylor's page mentioned above.
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.