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
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
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
9 Sep
equivalence rulesvideo.webm and audio.mp3 and §3.3–3.4 and ∀x 11.2 and slides.pdf and rule.txt
10 Sep
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
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
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
23 Sep
setsvideo.webm and audio.mp3 and sets writeup and practice and §4.1.1 and slides.pdf and qa.txt
25 Sep
setsvideo.webm and audio.mp3 and sets writeup and practice and §4.1.1 and slides.pdf
27 Sep
30 Sep
data typesvideo.webm and audio.mp3 and §4.1–4.4 and §4 addenda and slides.pdf
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
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
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
22 Oct
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
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
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
11 Nov
primesvideo.webm and audio.mp3 and §8.0–8.7 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
20 Nov
graphsvideo.webm and audio.mp3 and §9 and slides.pdf
22 Nov
25 Nov
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.