behandelde stof inleiding
theoretische informatica 2008-2009
Het dictaat
voor het lambda calculus deel
Het
dictaat voor het equationele logica deel
- dictaat hoofdstuk 1, p15-16 opgaven 1 tm 11
- extra opgave: geef termen M en N zo dat M geen normaalvorm
heeft, maar M[x:=N] wel.
- dictaat hoofdstuk 2
- dictaat hoofdstuk 3: 3.1 en 3.3
- slides
- dictaat hoofdstuk 1: opgave 15
- dictaat hoofdstuk 2: opgaven 1abc, 2abc, 4abc, 9, 10.
- dictaat hoofdstuk 3: opgaven 1, 2, 3, 4, 12b.
- dictaat hoofdstuk 3: 3.2, 3.4, 3.5.
- dictaat hoofdstuk 4: 4.1, 4.2.
- slides
- dictaat hoofdstuk 3: 6b, 9, 7, 8, 11bc.
- dictaat hoofdstuk 4: 2, 3, 5, 7.
- dictaat hoofdstuk 5: 5.1 tot en met 5.5.
- slides
- dictaat voor het equationele logica deel
- inleiding equationele specificaties
- hoofdstukken 2 en 3 uit het dictaat equationele specificaties
- slides eqs 1
- inleiding sigma-algebra's en modellen (hoofdstuk 4)
- assignments, waarheid van een vergelijking (hoofdstuk 5)
- junk, confusion, initiële modellen in vogelvlucht (hoofdstuk 6)
- slides eqs 2
- hoofdstukken 2 en 3 equationele specificatie: alle opgaven
- opgaven 5.1, 5,2, 6.1, 6.2 uit het dictaat equationele
specificaties
- bij 6.2: onderzoek ook andere modellen van Toy, met junk en/of
confusion
- sigma-algebra's en modellen (hoofdstuk 4)
- assignments, eval, waarheid van een vergelijking, semantisch
gevolg, Stelling van Birkhoff (hoofdstuk 5)
- junk, confusion, initiële modellen (hoofdstuk 6)
- slides eqs 2
- opgaven 5.1, 6.1, 6.2 (uit het dictaat equationele
specificaties)
- bij 6.2: onderzoek ook andere modellen van Toy, met junk en/of
confusion
- opgaven 6.3, 6.4, 6.5
- homomorfismes en isomorfie (hoofdstuk 7)
- alle initiële modellen van een specificatie zijn isomorf
- termmodellen (hoofdstuk 8)
- oefenen met equationele specificaties
i.h.b. opgave 2 van het tentamen van 26 maart
2008
- slides eqs 3
- opgaven 7.1, 7.2
- 7.6, 7.8(a)
NB: het is voldoende de homomorfismes aan te geven
- [voor de liefhebber: 7.8(b)]
- opgaven 8.1(a) en 8.2(a)
correctie: in opgave 8.1(a) wordt bedoeld naar
analogie van Voorbeeld 8.1 in plaats van 6.4
- opgaven 8.3, 8.4
- extra oefenstof:
opgaven 5 en 6 van het tentamen van 23
augustus
2006
Terug naar de webpagina iti
2008-2009