formele structuren 2008-2009
Het vak formele structuren wordt vanaf 2008-2009 niet meer gegeven.
Het eerste veegtentamen is al geweest.
Het tweede veegtentamen is op
donderdag 27 augustus 2009, 15.15-17.15
Check plaats en tijd nog zelf!
De tentamenstof voor het veegtentamen is gelijk aan
de tentamenstof voor formele structuren 2007-2008.
Zie hieronder voor materiaal en oefenopgaven.
formele structuren 2007-2008
Inhoud
Formele structuren is een kaleidoscopisch theorie-vak van 3 ECTS
waarin de volgende onderwerpen aan bod komen:
kardinaalgetallen, deductie, reguliere talen, Turing Machines, procesalgebra.
Zie ook de
beschrijving in de studiegids van 2007-2008.
Docent
Femke van Raamsdonk,
U333, email: femke at cs dot vu dot nl.
Rooster
In de weken 6-12 is twee keer per week twee uur een gecombineerd
hoor/werkcollege:
-
dinsdag 11.00-12.45 in C121
-
vrijdag 13.30-15.15 in C121
Materiaal
Huiswerkopgaven
Iedere week wordt huiswerk opgegeven, in totaal 6 keer.
Het huiswerk moet de week erop op dinsdag (op papier, handgeschreven)
worden ingeleverd.
Als het huiswerk ten minste 5 keer met een voldoende is beoordeeld
krijg je een bonus van 0.5 (een halve punt) op het tentamencijfer.
Tentamen
Het tentamen was in week 13 op vrijdag 28 maart 2008.
De herkansing was in week 23 op dinsdag 3 juni 2008, 18.30-20.30.
De
axioma's van de procesalgebra
worden als bijlage bij het tentamen gegeven.
Vragen ?
Stuur dan een email aan femke at cs dot vu dot nl.
Laatste wijziging: 9 januari 2009.