| L:M-D |
READING! |
ONLINE ITEMS |
|
1:1-9
|
Ch 1-2 (Math Prelim)
|
notes (none)
-
background quiz
-
pdf
ps
tex
html
-
slides
pdf
ps
tex
print
pdf
-
asg
pdf
ps
tex
html
-
asgsoln
pdf
ps
tex
|
|
2:1-11
|
Ch 3-4 (Card., Relns.)
|
notes (none)
-
slides
pdf
ps
tex
print
pdf
-
asg
pdf
ps
tex
html
-
asgsoln
pdf
ps
tex
|
|
3:1-16
|
Ch 5 (Logic)
|
notes (none)
-
slides
pdf
ps
tex
print
pdf
-
asg
pdf
ps
tex
html
-
asgsoln
pdf
ps
tex
|
|
4:1-18
|
Ch5 probs.
|
notes (none)
-
slides
pdf
ps
tex
print
pdf
-
asg
pdf
ps
tex
html
|
|
5:1-23
|
Ch 6 (Recursion)
|
notes
-
pdf
ps
tex
html
-
Ocaml Tutorial
-
Gordon Book
-
terminal session
txt
--
asg
pdf
ps
tex
html
-
asgsoln
pdf
ps
tex
|
|
6:1-25
|
Ch 1-6 (review)
|
notes
pdf
ps
tex
html
-
slides (none)
-
asg (in notes) |
|
7:1-30
|
Ch 7-8 (Languages, DFA)
|
notes
pdf
ps
tex
-
Another Terminal Session
-
asg
pdf
ps
tex
html
-
asgsoln
pdf
ps
tex
|
|
8:2-1
|
Ch 7-10
|
notes
pdf
ps
tex
html
-
slides (none)
-
No asg8
|
|
9:2-6
|
Ch 7-10
|
notes
pdf
ps
tex -
model test
pdf
ps
tex -
model test soln
pdf
ps
tex
-
No asg9
|
|
10:2-8
|
Review
|
no notes
-
no slides
-
Asg10 is a test
pdf
ps
tex
-
asgsoln
pdf
ps
tex
|
|
11:2-13
|
Ch 11
|
notes (none)
-
BED code+doc
-
tictactoe.txt
-
slides
pdf
ps
tex
print
pdf
-
asg
pdf
ps
tex
html
-
asgsoln
pdf
ps
tex |
|
12:2-15
|
Ch 20 (Presburger)
|
notes
pdf
ps
tex
-
Fixed tictactoe.txt -
forallx_existsy_x=2y_or_x=2y+1.txt -
binctr.txt
-
slides
pdf
ps
tex
print
pdf
-
no asg
|
|
13:2-20
|
Ch 12 (Pumping Lemma)
|
notes
pdf
ps
tex
html
-
slides
pdf
ps
tex
print
pdf
-
asg
pdf
ps
tex
html
-
asgsoln
pdf
ps
tex |
|
14:2-22
|
Ch 13 (CFLs)
|
-
no asg
|
|
15:2-27
|
Ch 13 (CFLs)
|
-
slides
pdf
ps
tex
print
pdf
-
asg
pdf
ps
tex
html
-
asgsoln
pdf
ps
tex
html
|
|
16:3-1
|
Ch 14 (PDA)
|
-
slides
pdf
ps
tex
-
no asg |
|
17:3-6
|
PDAs and CFGs
|
notes
pdf
ps
tex
html
-
no asg
|
|
18:3-8
|
PDAs and CFGs
|
notes
pdf
ps
tex
html
-
Model Test
pdf
ps
tex
-
asg18 (short one)
pdf
ps
tex
html
-
TEST
pdf
ps
tex
html
-
soln
pdf
ps
tex
html |
|
19:3-13
|
Decidability
|
no notes
-
slides
pdf
ps
tex
-
print
pdf
ps
-
asg
pdf
ps
tex
html
-
soln
pdf
ps
tex
html |
|
20:3-15
|
Decidability
|
no notes
-
slides
pdf
ps
tex
print
pdf
ps
-
no asg |
|
21:3-27
|
Decidability
|
notes
pdf
ps
tex
html
-
no slides
-
no asg
|
|
22:3-29
|
Decidability
|
exercises
pdf
ps
tex
html
-
TEST on Undecidability
pdf
ps
tex
html -
soln
pdf
ps
tex |
|
23:4-3
|
Ch 18, Logic and SAT
|
notes
pdf
ps
tex
html
-
No slides
-
asg
pdf
ps
tex
html
-
soln
-
pdf
ps
tex |
|
24:4-5
|
Ch 19, NP-Completeness
|
notes
pdf
ps
tex
html
-
No slides
-
no asg |
|
25:4-10
|
Ch 19, NP-Completeness
|
No notes - read book
-
No slides
-
asg
pdf
ps
tex
html
-
soln
pdf
ps
tex
html
|
|
26:4-12
|
Ch 19, NP-Completeness
|
notes
pdf
ps
tex
-
No slides
-
No asg |
|
27:4-17
|
Ch 21, NPC wrap-up
|
notes
pdf
ps
tex
-
slides
Model Checking Slides
-
asg
pdf
ps
tex
html
|
|
28:4-19
|
Model Checking
|
notes
pdf
ps
tex
html
-
slides
Model Checking Slides
|
|
29:4-24
|
Model Checking, LTL, CTL, Fixed-points, Wrap-up
|
notes
pdf
ps
tex
html
-
slides
pdf
ps
tex
html
-
FINAL EXAM: Comprehensive is closed book; rest open-book
pdf
ps
tex
html
-
Solutions
pdf
ps
tex |