Algorithms: Correctness and Complexity (Engi-5892) 2020
If it doesn't have to be correct, I can make it as fast as you'd like it to be. - Attributed to Jon Bentley
Front page
- Course information sheet
- Late assignment policy: Assignments may only be submitted late with permission of the instuctor (preferably requested in advance). There may be a deduction of marks for lateness depending of the degree of latness and the reason.
- Missing midterm policy: Midterms can only be missed with prior permission of the instructor and for good cause such as bereavement or illness. At the instructors discretion, missed midterms will either be made up at a later date or the mark will be replaced with a mark derrived from the final exam.
- Missed final exam policy: See the faculty policy.
- Office hours: Tuesdays 11:00--11:50 and Thursdays 11:00--11:50.
Course news
- 2020 April 8. Updated slide set 19 -- restored the missing pictures.
- 2020 April 7. Assignment 4 posted.
- 2020 April 6. Updated slides sets 17 and 18.
- 2020 March 19. Updated slide set 12.
- 2020 March 12. Added links to videos on getting going on assignment 3 with Eclipse. See Assignments and Tests.
- 2020 March 11. Assignment 3 posted. Note that this can be done in teams of 2. See Assignments and Tests.
- 2020 Feb 25. Added example from todays tutorial. See Assignment 2 from 2017 in Extra problems and past exams
- 2020 Feb 24. Assignment 2 posted. See Assignments and Tests.
- 2020 Feb 5. Added links to Videos on installing Dafny in VS Code. See Links.
- 2020 Feb 5. Assignment 1 posted. See Assignments and Tests.
- 2020 Jan 17. Problem set 0 solution posted.
- 2020 Jan 15. Assignment 0 re-posted with a correction to Q1.
- 2020 Jan 14. Assignment 0 posted.
- 2020 Jan 12. Slide set 1.5 updated. (No gaps in this one.)
- 2020 Jan 12. Slide set 1 (alg-co-co-notes-010-proof-outlines) updated. These are gapped, so I suggest printing them or bringing a device on which you can fill in the gaps.
- 2020 Jan 11. Problem set 0 posted.
- 2020 Jan 10. Reading: Proof outline logic, sequential edition.
- First lecture will be Tuesday Jan 7 at 9:00 in EN 1051
(c) Theodore Norvell