DMT1 – Fall 2019 Schedule
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.

27 Aug
Courses begin
28 Aug
welcomevideo.webm and audio.mp3 and §Introduction and ∀x 1.0 and on proofs and slides.pdf
30 Aug
real mathsvideo.webm and audio.mp3 and six habits and slides.pdf
2 Sep
propositions and operatorsvideo.webm and audio.mp3 and §1.1 and ∀x 4.3 and §3–3.2.0 and ∀x 5 and slides.pdf and examples.txt
HW01
4 Sep
truth tablesvideo.webm and audio.mp3 and §3.2.1–3.2.2 and ∀x 8, 10 and slides.pdf and propositions.txt
6 Sep
lab01list of symbols and practice quiz and practice key and quiz and key
Quiz01
9 Sep
equivalence rulesvideo.webm and audio.mp3 and §3.3–3.4 and ∀x 11.2 and slides.pdf and rule.txt
HW02
10 Sep
Add deadline
11 Sep
equivalence proofsvideo.webm and audio.mp3 and §3.4.2 and ∀x 14–15 and equivalences and example proof and proof techniques and slides.pdf and notes.txt
13 Sep
lab02list of symbols and practice quiz and practice key and quiz and key
Quiz02
16 Sep
predicatesvideo.webm and audio.mp3 and §1.2 and ∀x 21.0–21.3 and skim §4.1.0 and slides.pdf and predicates.txt
HW03
18 Sep
quantifiersvideo.webm and audio.mp3 and ∀x 21.4–24 and §3.6 and skim ∀x 25–26 and practice exercises in ∀x 22 and 23 and slides.pdf and entails.txt and examples.txt and translate.txt
20 Sep
lab03list of symbols and practice quiz and practice key and quiz and key
Quiz03
23 Sep
setsvideo.webm and audio.mp3 and sets writeup and practice and §4.1.1 and slides.pdf and qa.txt
HW04
25 Sep
setsvideo.webm and audio.mp3 and sets writeup and practice and §4.1.1 and slides.pdf
27 Sep
lab04list of symbols and practice quiz and practice key and more practice and quiz and key
Quiz04
30 Sep
data typesvideo.webm and audio.mp3 and §4.1–4.4 and §4 addenda and slides.pdf
HW05
2 Oct
data typesvideo.webm and audio.mp3 and §4.1–4.4 and §4 addenda and slides.pdf and examples.txt
4 Oct
lab05practice quiz and practice key and quiz and key
Quiz05
9 Oct
cardinalityvideo.webm and audio.mp3 and §4.5 and §7.1 and pigeonhole principle and slides.pdf
HW06
11 Oct
contradictionvideo.webm and audio.mp3 and §1.8 and §2 and Cantor diagonalization and open sets and slides.pdf and example.txt
14 Oct
contradiction and inductionvideo.webm and audio.mp3 and §1.8 and §2 and Cantor diagonalization and open sets and §2 and §5.1–5.3 and slides.pdf
15 Oct
Drop deadline
16 Oct
inductionvideo.webm and audio.mp3 and §2 and §5.1–5.3 and slides.pdf
18 Oct
lab06video.webm and audio.mp3 and practice quiz and practice key and quiz and key and slides.pdf
Quiz06
21 Oct
summationvideo.webm and audio.mp3 and §13.0–13.2 and slides.pdf
HW07
22 Oct
Withdraw deadline
23 Oct
combinationvideo.webm and audio.mp3 and §14.5 and slides.pdf
25 Oct
lab07practice quiz and practice key and quiz and key
Quiz07
28 Oct
permutationvideo.webm and audio.mp3 and §14.0—14.6 and slides.pdf
HW08
30 Oct
counting proofsvideo.webm and audio.mp3 and §14.0—14.6 and §13.0–13.2 and reductions writeup and proof techniques and slides.pdf
1 Nov
lab08practice quiz and practice key and quiz and key
4 Nov
automatavideo.webm and audio.mp3 and §5.4 and slides.pdf
6 Nov
automatavideo.webm and audio.mp3 and §5.4 and slides.pdf and notes.txt
8 Nov
lab09video.webm and audio.mp3 and practice quiz and practice key and quiz and key and slides.pdf
HW09
Quiz09
11 Nov
primesvideo.webm and audio.mp3 and §8.0–8.7 and slides.pdf
HW10
13 Nov
logsvideo.webm and audio.mp3 and wikipedia and slides.pdf
15 Nov
lab10practice quiz and practice key and quiz and key
Quiz10
18 Nov
graphsvideo.webm and audio.mp3 and §9 and slides.pdf
HW11
20 Nov
graphsvideo.webm and audio.mp3 and §9 and slides.pdf
22 Nov
lab11video.webm and audio.mp3 and shown during quiz and practice quiz and practice key and quiz and key and slides.pdf
Quiz11
25 Nov
and beyondvideo.webm and audio.mp3 and slides.pdf
HW12
2 Dec
reviewvideo.webm and audio.mp3 and topic breakdown and slides.pdf
4 Dec
reviewvideo.webm and audio.mp3 and topic breakdown and slides.pdf
6 Dec
Courses end
make-upquiz
q12logic
q12ind
q12cont
q12comb
q12struct
q12sets
16 Dec
Final Exam
final-logic
final-ind
final-cont
final-comb
final-struct
final-sets

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

The final exam schedule puts our final Monday 16 December at 2:00 pm. The final is an in-person on-paper exam administered in the usual classroom.

Note the final exam schedule also lists a special exam time for CS 2102. That feature is added to support multi-section courses sharing one exam, and since we are not sharing an exam with the other CS 2102 sections this semester it does not applies to us.