Tools & Resources
External Resources
Supplementary materials developed by Ivy O’Neal-Odom and Caroline Knote (Fall ‘19 CS 312 students).
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.
And this tutorial on Coq, software to help write formal proofs.
And this online book that might help with reasoning about proofs.
This article about a book of “Proofs from the book” (“ugly” versus “beautiful” proofs).
Please use the Ed Discussion 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 homeworks and quizzes.
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 assigned pages correctly via 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!