Studiewijzer 2022/2023

Globale inhoud

Automatentheorie helpt ons te begrijpen wat een machine kan en - nog belangrijker - wat een machine niet kan. Aan de orde komen de volgende onderwerpen: eindige automaten, reguliere talen, push-down automaten, contextvrije talen, Turing machines en berekenbaarheid. Deze cursus geeft samen met de cursussen Algoritmen en Complexiteit (2^e studiejaar, periode 1) en Theoretische aspecten van programmatuur (3^e studiejaar, periode 4) een inleiding in de theoretische informatica.

Studiemateriaal

Literatuur

Dexter C. Kozen, 'Automata and Computability', Springer, 1997.

Leerdoelen

De student kan de mogelijkheden en beperkingen van eenvoudige rekenprocessen onderzoeken, gebruikmakend van formele methodes.
De student kent de verschillende onderwerpen uit de cursus (eindige automaten en reguliere talen, push-down automaten en contextvrije talen en Turing-machines) uitleggen.
De student kan de verschillende onderwerpen uit de cursus toepassen om eenvoudige problemen op te lossen.

Onderwijsvormen

Hoorcollege
Werkcollege
Zelfstudie

Afwisselend hoor- en werkcolleges. Aanwezigheid bij de hoor- en werkcolleges wordt sterk aanbevolen maar is niet verplicht.

Verdeling leeractiviteiten

Activiteit	Aantal uur
Deeltoets	4
Hoorcollege	26
Werkcollege	26
Zelfstudie	112

Aanwezigheid

Aanwezigheidseisen opleiding (OER-B):

Voor practica en werkgroepbijeenkomsten met opdrachten geldt in principe een aanwezigheidsplicht. Wanneer studenten niet voldoen aan deze aanwezigheidsplicht kan dit als gevolg hebben dat het onderdeel niet met een voldoende kan worden afgerond.

Toetsing

Onderdeel en weging	Details
Eindcijfer
33.3% Deeltoets 1
33.3% Deeltoets 2
11.1% Praktische Opdracht 1
11.1% Praktische Opdracht 2
11.1% Praktische Opdracht 3

Het eindcijfer wordt gepaald door het gemiddelde van het gemiddelde van de 2 deeltoetsen en het gemiddelde van de 3 praktische opdrachten: 1/3 (Deeltoets 1 + Deeltoets 2) + 1/9 (Opdracht 1 + Opdracht 2 + Opdracht 3). Het gemiddelde van zowel de 2 deeltoetsen als ook de 3 praktische opdrachten moet minsten een 5.5 zijn.

Opdrachten

De opdrachten worden individueel gemaakt. Meer informatie is te vinden op Canvas.

Fraude en plagiaat

Over het algemeen geldt dat elke uitwerking die je inlevert ter verkrijging van een beoordeling voor een vak je eigen werk moet zijn, tenzij samenwerken expliciet door de docent is toegestaan. Het inzien of kopiëren van andermans werk (zelfs als je dat hebt gevonden bij de printer, in een openstaande directory of op een onbeheerde computer) of materiaal overnemen uit een boek, tijdschrift, website, code repository of een andere bron - ook al is het gedeeltelijk - en inleveren alsof het je eigen werk is, is plagiaat.

We juichen toe dat je het cursusmateriaal en de opdrachten met medestudenten bespreekt om het beter te begrijpen. Je mag bronnen op het web raadplegen om meer te weten te komen over het onderwerp en om technische problemen op te lossen, maar niet voor regelrechte antwoorden op opgaven. Als in een uitwerking gebruik is gemaakt van externe bronnen zonder dat een bronvermelding is vermeld (bijvoorbeeld in de rapportage of in commentaar in de code), dan kan dat worden beschouwd als plagiaat.

Deze regels zijn er om alle studenten een eerlijke en optimale leeromgeving aan te kunnen bieden. De verleiding kan groot zijn om te plagiëren als de deadline voor een opdracht nadert, maar doe het niet. Elke vorm van plagiaat wordt bestraft. Als een student ernstige fraude heeft gepleegd, kan dat leiden tot het uitschrijven uit de Universiteit. Zie voor meer informatie over het fraude- en plagiaatreglement van de Universiteit van Amsterdam: www.student.uva.nl

Weekplanning

Week	Onderwerpen	Studiestof
1
2
3
4
5
6
7
8

Eigenaar	Bachelor Informatica
Coördinator	dr. rer. nat. R.E.M. Reiffenhäuser
Onderdeel van	Pre-master Software Engineering, jaar 1 Bachelor Informatica, jaar 1 Dubbele bachelor Wiskunde en Informatica, jaar 1 Minor Logic and Computation, jaar 1

Automaten en Formele Talen