Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
inleiding theoretische informatica 2005 - 2006
inleiding theoretische informatica 2005 - 2006
Inhoud
De onderwerpen van het college inleiding theoretische informatica (iti) zijn:
lambda calculus (week 6-9),
equationele logica en specificatie van datatypen (week10-12),
functioneel programmeren (week 14-17).
Procesalgebra behoort niet tot de collegestof.
De opzet van iti 2005 - 2006 lijkt erg op die
van 2004 - 2005, maar de stof is wel enigszins
aangepast. Het dictaat is een beetje veranderd.
Verder wordt het deel functioneel programmeren
dit jaar uitgebreid.
Schema
week 6-12:
college:
dinsdag 11.00 - 12.45 in S209
werkcollege:
vrijdag 15.30 - 17.15 in S201
week 14-17:
practicum:
maandag 13.30 - 15.15 in S101 en S103.
NB: geen les op maandag 17 april (week 16).
practicum:
woensdag 13.30 - 15.15 in S101 en S103.
Collegemateriaal
Het materiaal wordt beschikbaar gesteld via
deze pagina.
Informatie over het practicum is
hier.
De herkansing is op woensdag 23 augustus 2006,
12.00 - 14.45.
(Check dit nog zelf !)
Oude tentamens iti staan
hier.
De vragen over lambda calculus zijn representatief voor
dit jaar, behalve dan dat dit jaar ook vragen over
simpel getypeerde lambda calculus gesteld kunnen worden.
Het practicum behoort ook tot de tentamenstof.
Vragenuur
Er was een vragenuur op woensdag 24 mei 2006 om 13.00 in een R2 zaal.
Vragen ?
Stuur dan een email aan femke@cs.vu.nl.
Laatste wijziging:
11 juli 2006