Lektioner

På dessa sidor kommer material från lektionerna att publiceras.

Lektion 1

Innehåll: introduktion till labbserien, diskussion om Scheme, omgivningsmodellen, omgivningsdiagram, constraint propagation

• Introduktion till omgivningsdiagram [PDF]
• Snabbguide till omgivningsdiagram [PDF] (Johan Jernlås material, TDDC74)
• OH-underlag omgivningar [PDF]
• OH-underlag constraint propagation [PDF]

Lektion 2

Innehåll: strömmar

• OH-underlag strömmar [PDF]

Lektion 3

Innehåll: praktiskt introduktion till evaluatorn i %Scheme

• Introduktion till evaluatorn [PDF]
• Se även källkoden för evaluatorn på labbresurssidorna

Lektion 4

Innehåll: repetitionsövningar

• Tentaliknande övningsuppgifter [PDF]

Lektion 5

Innehåll: icke-deterministisk programmering

• OH-underlag icke-deterministisk programmering [PDF]
• Detaljstudium av exempel i separerande evaluator (laboration 5) [PDF]
• Detaljstudium av exempel i icke-deterministisk evaluator (laboration 6) [PDF]
• Övningsuppgifter med amb [TXT]

Lektion 6

Innehåll: registermaskiner

• Introduktion till registermaskiner [PDF]

Page responsible: Ahmed Rezine
Last updated: 2013-01-22