technically speaking: have your cake and eat it too!
DESCRIPTION
Technically Speaking: Have Your Cake And Eat It Too!. Steven Rudich Andrew’s Leap 2011. Anne Willan’s Look & Cook books are the model of technical exposition. Presumes little . Each recipe is self contained Picture of each ingredient Picture of each tool Picture of each step - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/1.jpg)
Technically Speaking:Have Your Cake And Eat It Too!
Steven RudichAndrew’s Leap 2011
![Page 2: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/2.jpg)
Anne Willan’s Look & Cook books are the model of technical
exposition.
![Page 3: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/3.jpg)
Presumes little.•Each recipe is self contained•Picture of each ingredient•Picture of each tool•Picture of each step•Picture of techniques•A kid can do it!
![Page 4: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/4.jpg)
Promises much.•Professional recipes•Professional techniques•Cooking school curriculum
![Page 5: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/5.jpg)
Optimized content. “All the great recopies and techniques were collected and evaluated. Experts masterfully distilled the material, without tossing out any key idea or recipe.”
![Page 6: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/6.jpg)
Substantial promise. “From thousands, the 40 key
recipes and techniques of French Country Cooking”.
![Page 7: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/7.jpg)
Have your cake, and eat it too!
Presumes little.
Promises much.
Step by step illustrations anticipate every problem.
Provokes active curiosity .
![Page 8: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/8.jpg)
Technical Speaking
Presume the least.
Promise the most.
Pamper their brains.
Provoke active curiosity
![Page 9: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/9.jpg)
Talk Outline(Standard practice)
Title: Standard Security Protocols
• SSL• RSA• DES• DSS• MACs
The SSL protocol was first developed by the Netscape corporation and then extended to
TLS ………….
![Page 10: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/10.jpg)
Title: Standard Security Protocols
• SSL• RSA• DES• DSS• MACs
Presumes JargonContent promise unclearCauses emotional anxietyCuriosity impulse is squandered
![Page 11: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/11.jpg)
Title: Standard Security Protocols
• “SSL”• “RSA”• “DES”• “DSS”• “MACs”
Internet Security is an ocean of confusing acronyms. What do these stand for exactly? How do they work? Why are they important technically and economically? By the end of today’s lecture you should be able to answer these questions.
![Page 12: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/12.jpg)
Pamper their brains.
Brains are perceptually, computationally, and emotionally constrained.
![Page 13: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/13.jpg)
Intellectual Fantasy:Brain To Brain Transfer
More!
Harder!Faster!
![Page 14: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/14.jpg)
Platonic Fantasy:A Talk Is An Aesthetic Object
Perfect
Truth Is Beauty.
![Page 15: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/15.jpg)
Human RealityWhen’s lunch?
What’s a
DAG?
blah, blah, blah
![Page 16: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/16.jpg)
Demands Accumulate,Brains Deplete!
![Page 17: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/17.jpg)
Demands Accumulate,Brains Deplete!
Visual Processing.
![Page 18: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/18.jpg)
Demands Accumulate,Brains Deplete!
Visual Processing.Auditory Processing.
![Page 19: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/19.jpg)
Demands Accumulate, Brains Deplete!
Visual Processing.Auditory Processing.Concentration.
![Page 20: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/20.jpg)
Demands Accumulate,Brains Deplete!
Visual Processing.Auditory Processing.Concentration.Calculation.
![Page 21: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/21.jpg)
Demands Accumulate,Brains Deplete!
Visual Processing.Auditory Processing.Concentration.Calculation.Short Term Memory.
![Page 22: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/22.jpg)
Demands Accumulate,Brains Deplete!
Visual Processing.Auditory Processing.Concentration.Calculation.Short Term Memory.Recall From Long Term Memory.
![Page 23: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/23.jpg)
Demands Accumulate, Brains Deplete!
Visual Processing.Auditory Processing.Concentration.Calculation.Short Term Memory.Recall From Long Term Memory.Stress Of Unresolved Concerns.
![Page 24: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/24.jpg)
Demands Accumulate,Brains Deplete!
Visual Processing.Auditory Processing.Concentration.Calculation.Short Term Memory.Recall From Long Term Memory.Stress Of Unresolved Concerns.Etc . . .
Duh.
![Page 25: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/25.jpg)
Work Hard To Be Easy!
Be easy to see Minimize info/slide
.
![Page 26: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/26.jpg)
Work Hard To Be Easy!
Be easy to hear Speak up, or use mic Enunciation habits matter
![Page 27: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/27.jpg)
Work Hard To Be Easy!
Memory and reference Eliminate pronouns (its, this, that) unless you are pointing
![Page 28: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/28.jpg)
Work Hard To Be Easy!
Kid Friendly Illustrations.
bb ab
aaa
bab
![Page 29: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/29.jpg)
Pamper their brains!Brain stress is additive.
![Page 30: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/30.jpg)
Spell out the exact correspondence between arguments in different representations.
Correspondence is content!
![Page 31: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/31.jpg)
1 + 2 + 3 + … + n-1 + n = ½n(n+1)
S = 1 + 2 + 3 + + n-1 + nS = n + n-1 + n-2 + … + 2 + 1
2S = n+1 + n+1 + n+1 + … + n+1 + n+12S = n(n+1)
S = ½n(n+1)
Algebraic Proof Geometric Proof
![Page 32: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/32.jpg)
1 + 2 + 3 + … + n-1 + n = ½n(n+1)
S = 1 + 2 + 3 + + n-1 + nS = n + n-1 + n-2 + … + 2 + 1
2S = n+1 + n+1 + n+1 + … + n+1 + n+12S = n(n+1)
S = ½n(n+1)
Algebraic Proof Geometric Proof
![Page 33: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/33.jpg)
1 + 2 + 3 + … + n-1 + n = ½n(n+1)
S = 1 + 2 + 3 + + n-1 + nS = n + n-1 + n-2 + … + 2 + 1
2S = n+1 + n+1 + n+1 + … + n+1 + n+12S = n(n+1)
S = ½n(n+1)
Algebraic Proof Geometric Proof
![Page 34: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/34.jpg)
1 + 2 + 3 + … + n-1 + n = ½n(n+1)
S = 1 + 2 + 3 + + n-1 + nS = n + n-1 + n-2 + … + 2 + 1
2S = n+1 + n+1 + n+1 + … + n+1 + n+12S = n(n+1)
S = ½n(n+1)
Algebraic Proof Geometric Proof
![Page 35: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/35.jpg)
1 + 2 + 3 + … + n-1 + n = ½n(n+1)
S = 1 + 2 + 3 + + n-1 + nS = n + n-1 + n-2 + … + 2 + 1
2S = n+1 + n+1 + n+1 + … + n+1 + n+12S = n(n+1)
S = ½n(n+1)
Algebraic Proof Geometric Proof
![Page 36: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/36.jpg)
1 + 2 + 3 + … + n-1 + n = ½n(n+1)
Algebraic Proof Geometric Proof
S = 1 + 2 + 3 + + n-1 + nS = n + n-1 + n-2 + … + 2 + 1
2S = n+1 + n+1 + n+1 + … + n+1 + n+12S = n(n+1)
S = ½n(n+1)
s =1 2 n
![Page 37: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/37.jpg)
1 + 2 + 3 + … + n-1 + n = ½n(n+1)
Algebraic Proof Geometric Proof
S = 1 + 2 + 3 + + n-1 + nS = n + n-1 + n-2 + … + 2 + 1
2S = n+1 + n+1 + n+1 + … + n+1 + n+12S = n(n+1)
S = ½n(n+1)
1 2 n s =
s =
![Page 38: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/38.jpg)
1 + 2 + 3 + … + n-1 + n = ½n(n+1)
Algebraic Proof Geometric Proof
S = 1 + 2 + 3 + + n-1 + nS = n + n-1 + n-2 + … + 2 + 1
2S = n+1 + n+1 + n+1 + … + n+1 + n+12S = n(n+1)
S = ½n(n+1)
1 2 n s =
s =
2s =
![Page 39: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/39.jpg)
1 + 2 + 3 + … + n-1 + n = ½n(n+1)
Algebraic Proof Geometric Proof
S = 1 + 2 + 3 + + n-1 + nS = n + n-1 + n-2 + … + 2 + 1
2S = n+1 + n+1 + n+1 + … + n+1 + n+12S = n(n+1)
S = ½n(n+1)
1 2 n s =
s =
2s = n+1
= n(n+1)
![Page 40: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/40.jpg)
1 + 2 + 3 + … + n-1 + n = ½n(n+1)
Algebraic Proof Geometric Proof
S = 1 + 2 + 3 + + n-1 + nS = n + n-1 + n-2 + … + 2 + 1
2S = n+1 + n+1 + n+1 + … + n+1 + n+12S = n(n+1)
S = ½n(n+1)
1 2 n s =
s =
2s = n+1
S = ½n(n+1)
![Page 41: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/41.jpg)
I own 3 beanies and 2 ties. How many different ways can I dress up in a beanie
and a tie?
![Page 42: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/42.jpg)
![Page 43: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/43.jpg)
b2 b3b1
t2 t t2 t t2
b1t1 b1t2 b2 t2b2t1 b3 t1 b3 t2
t
![Page 44: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/44.jpg)
b2b3b
t t2 t t2 t t2
bt bt2 b2t b2t2 b3t2b3t
b2 b3b
( b + b2 + b3 )( t + t2 )=
![Page 45: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/45.jpg)
b2b3b
t t2 t t2 t t2
bt bt2 b2t b2t2 b3t2b3t
b2 b3b
( b + b2 + b3 )( t + t2 )= bt +
![Page 46: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/46.jpg)
b2b3b
t t2 t t2 t t2
bt bt2 b2t b2t2 b3t2b3t
b2 b3b
( b + b2 + b3 )( t + t2 )= bt + bt2 +
![Page 47: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/47.jpg)
b2b3b
t t2 t t2 t t2
bt bt2 b2t b2t2 b3t2b3t
b2 b3b
( b + b2 + b3 )( t + t2 )= bt + bt2 + b2t +
![Page 48: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/48.jpg)
b2b3b
t t2 t t2 t t2
bt bt2 b2t b2t2 b3t2b3t
b2 b3b
( b + b2 + b3 )( t + t2 )= bt + bt2 + b2t + b2t2 +
![Page 49: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/49.jpg)
b2b3b
t t2 t t2 t t2
bt bt2 b2t b2t2 b3t2b3t
b2 b3b
( b + b2 + b3 )( t + t2 )= bt + bt2 + b2t + b2t2 + b3t +
![Page 50: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/50.jpg)
b2b3b
t t2 t t2 t t2
bt bt2 b2t b2t2 b3t2b3t
b2 b3b
( b + b2 + b3 )( t + t2 )= bt + bt2 + b2t + b2t2 + b3t + b3t2
![Page 51: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/51.jpg)
b2b3b
t t2 t t2 t t2
bt bt2 b2t b2t2 b3t2b3t
b2 b3b
( b + b2 + b3 )( t + t2 )= bt + bt2 + b2t + b2t2 + b3t + b3t2
![Page 52: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/52.jpg)
Specific examples are critical to understanding. Curiosity – they need to know they do not know.
Create a mistake. Ward off a misconception.
Choose optimal examples.
![Page 53: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/53.jpg)
A Graph Named “Gadget”
![Page 54: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/54.jpg)
![Page 55: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/55.jpg)
T FX Y
Output
![Page 56: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/56.jpg)
T FX Y
OutputX YF F F T T F T T
![Page 57: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/57.jpg)
T FX Y
OutputX YF F FF TT FT T
![Page 58: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/58.jpg)
T FX Y
OutputX YF F FF T TT FT T
![Page 59: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/59.jpg)
T FX Y
OutputX YF F FF T TT F TT T
![Page 60: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/60.jpg)
T FX Y
OutputX YF F FF T TT F TT T T
![Page 61: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/61.jpg)
T FX Y
OutputX Y ORF F FF T TT F TT T T
![Page 62: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/62.jpg)
T FX NOT gate
NOT X
![Page 63: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/63.jpg)
OR
OR
NOT
x y z
![Page 64: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/64.jpg)
OR
OR
NOT
x y zx
y z
![Page 65: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/65.jpg)
OR
OR
NOT
x y zx
y z
![Page 66: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/66.jpg)
OR
OR
NOT
x y zx
y z
![Page 67: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/67.jpg)
OR
OR
NOT
x y zx
y z
![Page 68: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/68.jpg)
OR
OR
NOT
x y zx
y z
How do we force the graph to be 3 colorable exactly when the circuit is satisfiable?
![Page 69: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/69.jpg)
OR
OR
NOT
x y zx
y z
Satisfiability of this circuit =
3-colorability of this graph
TRUE
![Page 70: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/70.jpg)
Informal/visual can still be well-defined and rigorous .
Qualitative before quantitative.
![Page 71: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/71.jpg)
Machines That Can’t Count
CS 15-251Lecture 15 b
bab
a
a
aba
b
![Page 72: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/72.jpg)
Let me teach you a programming language so simple
that you can learn it in
less than a minute.
![Page 73: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/73.jpg)
Meet “ABA” The Automaton!
bb ab
a
aa
bab
Input String Resultaba Acceptaabb Rejectaabba Accept Accept
![Page 74: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/74.jpg)
Meet “ABA” The Automaton!
bb ab
a
aa
bab
Input String Resultaba Acceptaabb Rejectaabba Accept Accept
![Page 75: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/75.jpg)
Finite set of statesA start state
A set of accepting statesA finite alphabet
a b # x 1
State transition instructions
1 2{ , , , , }o kQ q q q q
Finite Automaton
oq
1 2, , ,
ri i iF q q q
:( , )i j
Q Qq a q
iq jq
a
![Page 76: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/76.jpg)
Have them on the edge of their seats just dying to appreciate the formal details.
Inspire desire to know.
![Page 77: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/77.jpg)
No machine can accept exactly strings of the form: anbn. No machine has enough states to keep track of the number of a’s it might encounter.
![Page 78: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/78.jpg)
That is a fairly weak argument. Consider the following example…
![Page 79: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/79.jpg)
No machine has enough states to keep track of the number of occurrences of ab.
L = strings where the # of occurrences of the pattern ab is equal to the number of occurrences of the pattern ba
![Page 80: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/80.jpg)
Remember “ABA”?
bb ab
a
aa
bab
ABA accepts only the strings with an equal number of ab’s and ba’s!
![Page 81: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/81.jpg)
Professional Strength ProofTheorem: anbn is not regular.Proof: Assume that it is. Then M with k states that accepts it.For each 0 i k, let Si be the state M is in after reading ai.i,j k s.t. Si = Sj, but i jM will do the same thing on aibi and ajbi . (to Si ) (to Si )But a valid M must reject ajbi and accept aibi.
![Page 82: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/82.jpg)
Question:
How can one teach concepts like theorem, proof, conjecture, and
independence?
![Page 83: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/83.jpg)
Question:
How can one teach concepts like theorem, proof, conjecture, and
independence to a five year old?
![Page 84: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/84.jpg)
Minesweeper5 year old can play.
Encodes Circuit Sat
Easy to use interface.
Inspires desire to play.
![Page 85: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/85.jpg)
MINESWEEPERMines Left: 10
![Page 86: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/86.jpg)
MINESWEEPERMines Left: 10
3
![Page 87: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/87.jpg)
MINESWEEPERMines Left: 7
3
![Page 88: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/88.jpg)
MINESWEEPERMines Left: 7
3 2
![Page 89: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/89.jpg)
MINESWEEPERMines Left: 7
3 2 0 3 1
![Page 90: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/90.jpg)
MINESWEEPERMines Left: 7
3 2 0 0 3 1 1
![Page 91: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/91.jpg)
MINESWEEPERMines Left: 7
3 2 0 0 0 0 3 1 1 0 0
2 1 1
![Page 92: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/92.jpg)
MINESWEEPERMines Left: 6
3 2 0 0 0 0 3 1 1 0 0
2 1 1
![Page 93: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/93.jpg)
MINESWEEPERMines Left: 6
3 2 0 0 0 0 0 3 1 1 0 0 0
4 3 2 1 1 01 01 01 1
![Page 94: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/94.jpg)
MINESWEEPERMines Left: 5
3 2 0 0 0 0 0 3 1 1 0 0 0
4 3 2 1 1 0 1 0
1 01 1
![Page 95: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/95.jpg)
MINESWEEPERMines Left: 5
3 2 0 0 0 0 0 3 1 1 0 0 0
4 3 2 1 1 02 2 1 01 1 1 1 01 1 1 1 1
![Page 96: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/96.jpg)
MINESWEEPERMines Left: 4
3 2 0 0 0 0 0 3 1 1 0 0 0
4 3 2 1 1 0 2 2 1 01 1 1 1 1 01 1 1 1 1 1
1
![Page 97: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/97.jpg)
MINESWEEPERMines Left: 3
3 2 0 0 0 0 0 3 1 1 0 0 03 4 3 2 1 1 0 2 2 2 1 01 2 1 1 1 1 1 01 1 1 1 1 1 1 1
1 1
![Page 98: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/98.jpg)
MINESWEEPERMines Left: 3
3 2 0 0 0 0 0 3 1 1 0 0 03 4 3 2 1 1 0 2 2 2 1 01 2 1 1 1 1 1 01 1 1 1 1 1 1 1 1 1
![Page 99: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/99.jpg)
MINESWEEPERMines Left: 3
3 2 0 0 0 0 0 3 1 1 0 0 03 4 3 2 1 1 0 2 2 2 1 01 2 1 1 1 1 1 01 1 1 1 1 1 1 1
1 1
![Page 100: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/100.jpg)
“Dad, it’s INDIAN-PENDANT like you said.” Isaac Rudich
3 2 0 0 0 0 0 3 1 1 0 0 03 4 3 2 1 1 0 2 2 2 1 01 2 1 1 1 1 1 01 1 1 1 1 1 1 1? ? 1 ? ? 1 ? ?
![Page 101: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/101.jpg)
Oh! No! What do we do when it is independent
?
Don’t be silly daddy, just
guess.
![Page 102: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/102.jpg)
Why is Minesweeper so effective?
No barrier to entry.
Unsound, incomplete kids punished.
Visual compelling counter-example.
Bad reasoning blows up.
![Page 103: Technically Speaking: Have Your Cake And Eat It Too!](https://reader036.vdocuments.net/reader036/viewer/2022070504/56816757550346895ddc144a/html5/thumbnails/103.jpg)
15-894: Technically Speaking
TR - 3:00-4:20 - GHC 4612
Requirement:Willingness to think long and hard,
about keeping things short and simple.