For many of you, this is your first time writing proofs, and even for those who have written proofs before,
what we consider a good proof in CS22 likely differs from what made a good proof wherever you were writing them
before! Check out the proof virtues document below to acquaint yourself with what we consider a good proof in
CS22. Your proofs will be graded with respect to this document , so be sure to read it carefully, and
come to hours with any questions.
LaTeX (pronounced la-tek) is a program that you will be using to make your homework solutions look
beautiful. The sample proofs above were written in LaTeX to give you an idea of what documents written in
LaTeX look like. LaTeX allows you to incorporate mathematical notation into your proofs, and because this
class involves a healthy dose of mathematical notation, LaTeX is going to be very useful! Using LaTeX is
required after the 2nd homework.
We don't expect you've ever done this whole LaTeX business before, and that's why we're giving you some time
to learn it! To get started, we recommend creating an account on Overleaf, an online program for writing and compiling LaTeX. After you
do that, here are some links to check out:
Honestly, please use
Overleaf. It's so
much easier than installing anything on your computer. Trust me.