Grondslagen van de informatica 2

professor Ann Nowé

Basiskennis theoretische grondslagen van programmeertalen (syntax, berekenbaarheid) overdragen. De student moet inzicht hebben in de mogelijkheden en de beperkingen van reguliere en context vrije talen, en in de corresponderende automaten voor deze talen.

Elementaire wiskunde (logica, verzamelingenleer). Kennis van tenmiste een programmeertaal.

• Reguliere talen en eindige automaten: equivalentie, (non)determinisme, optimalizatie.
• Contextvrije grammatica's: definities en algemene eigenschappen (b.v. normaalvormen), stapelautomaten.
• Inleiding tot parsen.

• Oplosbare en onoplosbare problemen, Theorema van Church, Turing Machines.
• Berekenbaarheid in de context van Formele Talen.

Kopies van de cursusnota's zijn beschikbaar bij de Infogroep.

• Inleiding in de theorie van de formele talen, V.J. Rayward-Smith.
• An introduction to formal language theory, Moll et. al, p64-p71.
• Computability, V.J. Rayward-Smith.

zie pointcarre pagina

Verantwoordelijke assistent: Peter Vrancx. Meer informatie op de oefeningensite.

• 26 contacturen Hoorcollege: Het hoorcollege gaat door tijdens het 1de semester, plaats en tijdstip: vrijdag 14 → 16u , lokaal G1.022.
• 26 contacturen Werkcollege, Oefeningen of Practica: De oefeningen vinden plaats op: donderdag 9 → 11u. lokaal F5.211 of vrijdag 16 → 18u in D.2.16 (verkort programma en schakelprogramma).

50% oefeningen,50% theorie.

Theorie: Er is een verplicht mondeling examen. Het examen is een gesloten boek examen. Om een voldoende te halen moet een student goed scoren op een 2-tal basisvragen. De bijkomende vragen hebben een hogere moeilijkheidsgraad en bepalen de graad.

Oefeningen: Er is een verplicht schriftelijk oefeningenexamen. Dit examen is ook gesloten boek.

Beide examens worden afgenomen in de zittijd van het 2de semester.