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

As this is my time teaching this course, I expect to change the flow and pacing of topics as the semester progresses. The past, and my best guess of the future, is reflected below.


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

13 Jan
Courses begin
welcome video.webm and audio.mp3 and MCS Introduction and ∀x 1.0 and on proofs and course diagram and slides.pdf and questions.txt
17 Jan
propositions and operators video.webm and audio.mp3 and MCS 1.1 and ∀x 4.3 and MCS 3–3.2.0 and ∀x 5 and slides.pdf
22 Jan
truth tables video.webm and audio.mp3 and MCS 3.2.1–3.2.2 and ∀x 8, 10 and slides.pdf and examples.txt
24 Jan
lab01 list of symbols and lab and lab key and quiz and key
IQ01
27 Jan
Add deadline
equivalence rules video.webm and audio.mp3 and MCS 3.3–3.4 and ∀x 11.2 and equivalences and slides.pdf
29 Jan
equivalence proofs video.webm and audio.mp3 and MCS 3.4.2 and ∀x 14–15 and equivalences and example proof and proof techniques and direct proof and slides.pdf
31 Jan
lab02 lab and lab key and quiz and key and slides.pdf
IQ02
3 Feb
predicates video.webm and audio.mp3 and MCS 1.2 and ∀x 21.0–21.3 and skim MCS 4.1.0 and slides.pdf
5 Feb
quantifiers video.webm and audio.mp3 and write-up of class examples and ∀x 21.4–24 and MCS 3.6 and skim ∀x 25–26 and practice exercises in ∀x 22 and 23 and slides.pdf
7 Feb
lab03 list of symbols and lab and lab key and quiz and key
IQ03
10 Feb
direct proof and proof by cases video.webm and audio.mp3 and MCS 1.7 and ∀x 15.6 and techniques and slides.pdf and quiz-explaination.txt
12 Feb
direct proof and proof by cases video.webm and audio.mp3 and MCS 1.7 and ∀x 15.6 and techniques and proofs.txt
14 Feb
lab04 lab and lab key and quiz and key
IQ04
17 Feb
sets video.webm and audio.mp3 and sets writeup and practice and MCS 4.1.1 and slides.pdf
19 Feb
sets video.webm and audio.mp3 and sets writeup and practice and MCS 4.1.1 and slides.pdf
21 Feb
lab05 lab and lab key and quiz and key
IQ05
24 Feb
Drop deadline
induction video.webm and audio.mp3 and MCS 2 and MCS 5.1–5.3 and addendum and slides.pdf
26 Feb
induction MCS 2 and MCS 5.1–5.3 and addendum
28 Feb
lab06 lab and lab key and quiz and key
IQ06
2 Mar
primes video.webm and audio.mp3 and MCS 8.0–8.7 and slides.pdf
4 Mar
contradiction video.webm and audio.mp3 and MCS 1.8 and MCS 2 and irrationals and open sets and slides.pdf
6 Mar
lab07 lab and lab key and quiz and quiz key
IQ07
16 Mar
Withdraw deadline
20 Mar
sequences video.webm and audio.mp3 and MCS 4.2 and MCS 4.2 addenda and slides.pdf and 20200320.txt
23 Mar
summation video.mp4 and audio.m4a and MCS 13.0–13.2 and slides.pdf
25 Mar
combination video.mp4 and audio.m4a and MCS 14.5
27 Mar
lab08 lab and lab key and quiz and quiz key
IQ08
30 Mar
permutation video.mp4 and audio.m4a and MCS 14.0—14.6 and slides.pdf and quant.png
1 Apr
permutation video.mp4 and audio.m4a and MCS 14.0—14.6 and slides.pdf
3 Apr
lab09 lab and lab key and quiz and quiz key
6 Apr
functions video.mp4 and audio.m4a and MCS 4.3–4.4 and slides.pdf
8 Apr
functions video.mp4 and audio.m4a and MCS 4.3–4.4 and slides.pdf
10 Apr
lab10 lab and lab key and quiz and quiz key
IQ10
13 Apr
15 Apr
17 Apr
lab11 video.mp4 and audio.m4a and lab and lab key and slides.pdf
20 Apr
state machines video.mp4 and audio.m4a and MCS 5.4 and slides.pdf
22 Apr
state machines video.mp4 and audio.m4a and MCS 5.4 and slides.pdf
27 Apr
optional makeup quiz
q12-logic
q12-proofs
q12-structures
q12-numbers
IQ12
28 Apr
Courses end
30 Apr
Final Exam
final-logic
final-proofs
final-structures
final-numbers

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


Quiz 12 will be optional, a chance to make up one of the four topical areas. All four areas will be available, but you will only be able to submit one (or none) of them. It will be a 45-minute exam in the normal class time on the normal quizzing site.

The final exam will be on the day stated by the registrar, which is Thursday 30 April at 9:00 am—to provide time-zone and related flexibility, we’ll ignore the 9:00 am part of that and give you 3 hours to take it anytime between 2020-04-30 00:00 EDT and 2020-04-30 23:59 EDT (once you start, you’ve got 3 hours to finish, and have to finish before 23:59). All four areas will be available, and you can submit as many or few as you wish. Those you do submit will be graded and replace your grade in the appropriate topics. It will be administered via the normal quizzing site.

If you do not take a topic on either quiz, your score on that topic is unchanged. If you are satisfied with that score now, you do not need to take either Quiz 12 or the final.