Automaten: herfst 2005
Deze pagina gaat over het tweedejaars college Automaten voor
de studierichting Informatica (bachelor, 2e jaar).
Het college is afgelopen en deze pagina's worden alleen nog ververst met
mededelingen over de (her)tentamens.
Er zijn (of komen) aparte pagina's over
- Het hertentamen van 4 mei 2006 is nagekeken - u kunt de docent
mailen
voor uw resultaat.
Vakomschrijving en inhoud
Formele talen en de daarmee geassocieerde automaten zijn en blijven van
fundamenteel belang binnen de informatica.
Deze cursus biedt een inleiding in de theorie van de reguliere talen en
eindige automaten, en concentreert zich dan op een belangrijke moderne
toepassing: satisfiability- en model checking.
Aan de orde komen de volgende onderwerpen:
- formele talen en reguliere expressies;
- eindige automaten;
- constructies van eindige automaten;
- automaten op oneindige woorden;
- lineaire temporele logica
- specificatietalen en automaten;
- satisfiability checking en model checking.
In het tweede deel van de cursus wordt verondersteld dat u het het project
Procestheorie heeft gevolgd.
Practische zaken
Opzet
Het vak Automaten bestaat uit twee uur hoor- en twee uur werkcollege
per week.
Deelname aan het werkcollege is verplicht en uw aanwezigheid wordt
bijgehouden.
Beoordeling
De beoordeling geschiedt door middel van een schriftelijk tentamen, en
eventueel huiswerkopgaven.
Wekelijks kunt u huiswerkopgaven inleveren, die (alleen als het
positief uitvalt) voor 20% meetellen voor het eindcijfer.
Tijd en plaats
- hoorcollege: woensdag 13:15 - 15:00 in zaal P018,
werkcollege: donderdag 13:15 - 15:00 in zaal I.001.
Docenten
Collegemateriaal
- Voor dit college is er een syllabus verkrijgbaar via de
bekende kanalen.
- Verder lezen?
Yde Venema