Tools

Please use the Piazza tool for asking and answering questions outside of class!

• I will check posts and provide guidance.
• Please also do the same for your classmates!

Please use the Gradescope tool for submitting and receiving feedback on your written assignments and exams.

For each Gradescope submission, be sure your:

• Submission is typed or written neatly (with ample white-space and no scratching out, etc.).
• Submission is a pdf. If scanned, the pdf must be rotated correctly, scanned at high quality, and readable at a standard letter size.
• Submission follows the Gradescope scanning recommendations (video here) to ensure the scan is high quality.
• Questions are outlined/marked correctly from the gradescope submission.

In each assignment, some points are devoted to having a high-quality, readable pdf — you will lose these points if your work is unreadable or too messy. Make sure you upload and annotate your submission correctly!

Check out The Incredible Proof Machine for an interactive interface that helps to practice formal logic for proofs!

Also this post on the similarity of code and proofs.

https://coq.inria.fr/tutorial-nahas

You may wish to refer to Introduction to Algorithms, Third Edition by Cormen, Leiserson, Rivest, & Stein for a concise presentation of the material. It's often referred to as CLRS.