This page does not represent the most current semester of this course; it is present merely as an archive.

At the time this note was written, UVA had not stated the exact structure of the semester. They’ve stated we’ll not return to grounds after Thanksgiving break, but not stated if that means we’ll have finals before then, or after then, or have a post-Thanksgiving week of online courses before finals. As that information is released, the schedule is likely to be updated.


View as or ; ; readings can be or as a whole, or clicked on individually to toggle visibility.

25 Aug
Courses begin
26 Aug
28 Aug
real maths six habits and MCS 1.9
Orrico video and Aug28Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf
31 Aug
2 Sep
4 Sep
7 Sep
propositions and operators MCS 1.1 and ∀x 4.3 and MCS 3–3.2.0 and ∀x 5 and about →
Orrico video and Sept7Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf
9 Sep
operators MCS 3–3.2.0 and ∀x 5 and about →
Orrico video
Tychonievich video.webm and audio.mp3 and slides.pdf
11 Sep
module 1 lab 1
Orrico video
Tychonievich video.webm and audio.mp3 and slides.pdf
14 Sep
equivalence proofs and direct proof MCS 3.4.2 and ∀x 14–15 and equivalences and example proof and proof techniques and direct proof
Orrico video and Sept14Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf
16 Sep
equivalence proofs and direct proof MCS 3.4.2 and ∀x 14–15 and equivalences and example proof and proof techniques and direct proof
Orrico video
Tychonievich video.webm and audio.mp3 and slides.pdf
18 Sep
module 1 lab 2
Tychonievich video.webm and audio.mp3 and slides.pdf
21 Sep
predicates MCS 1.2 and ∀x 21.0–21.3 and skim MCS 4.1.0
Orrico video and Sept21Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf
25 Sep
module 1 group project and module 2 makeup
30 Sep
proof by cases and english MCS 1.7 and ∀x 15.6 and DeMorgan proved and techniques and writeup and bus example
Orrico video and Sept30Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf
2 Oct
module 2 lab 1
Tychonievich video.webm and audio.mp3 and slides.pdf
5 Oct
english writeup and bus example
Orrico video
Tychonievich video.webm and audio.mp3
7 Oct
english writeup and bus example
Orrico video
Tychonievich video.webm and audio.mp3 and examples.txt and slides.pdf
9 Oct
module 2 lab 2
Tychonievich video.webm and audio.mp3 and slides.pdf
14 Oct
contradiction MCS 1.8 and MCS 2 and irrationals and open sets
Orrico video and Oct14Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf
16 Oct
module 2 group project and module 2 makeup
19 Oct
contradiction MCS 1.8 and MCS 2 and irrationals and open sets
Tychonievich video.webm and audio.mp3 and slides.pdf
21 Oct
contradiction MCS 1.8 and MCS 2 and irrationals and open sets
Orrico video and Oct21Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf
23 Oct
module 3 lab 1
Tychonievich video.webm and audio.mp3
26 Oct
summation and induction MCS 13.0–13.2 and MCS 5.1–5.3 and addendum
Orrico video and Oct26Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf and proofs.txt
28 Oct
induction and counting proofs MCS 5.1–5.3 and addendum and MCS 14.0—14.6 and MCS 13.0–13.2 and reductions writeup and proof techniques
Orrico video and Oct28Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf
30 Oct
module 3 lab 2
Tychonievich video.webm and audio.mp3 and slides.pdf
2 Nov
combination MCS 14.5
Orrico video and 6Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf
4 Nov
permutation MCS 14.0—14.6
Orrico video and 6Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf
6 Nov
module 3 group project and module 3 makeup
9 Nov
functions MCS 4.3–4.4
Orrico video and Nov9Slides.pdf
Tychonievich video.webm and audio.mp3 and slides.pdf
11 Nov
functions MCS 4.3–4.4
Orrico video
Tychonievich video.webm and audio.mp3 and slides.pdf
13 Nov
module 4 lab 1
Tychonievich video.webm and audio.mp3 and slides.pdf
16 Nov
logs wikipedia and writeup
Orrico video
Tychonievich video.webm and audio.mp3 and slides1.pdf
18 Nov
logs wikipedia and writeup
Tychonievich video.webm and audio.mp3 and slides.pdf
20 Nov
module 4 lab 2
Tychonievich video.webm and audio.mp3 and slides.pdf
23 Nov
review
Tychonievich video.webm and audio.mp3 and slides.pdf and qa.txt
24 Nov
Courses end
5 Dec
Final Exam

To subscribe to the above calendar, add http://www.cs.virginia.edu/luther/2102/F2020/cal.ics to your calender application of choice.


At the time this note was written, the exact structure and timing of final exams had not been released. The official information about finals can be found at https://www2.virginia.edu/registrar/exams.html#1208