Toegangseisen
Geen
Beschrijving
Dit vak behandelt de theoretische achtergrond van de computer. Veel computerprogramma’s voeren een berekening uit van een invoer naar een bijbehorende uitvoer. We onderzoeken welke soorten berekeningen uitgevoerd kunnen worden door diverse modellen van een computer. Onderwerpen die hierbij aan de orde komen, zijn: talen, eindige automaten, reguliere expressies, context-vrije talen, stapelautomaten, pomplemma’s, Turing machines en algemene grammatica’s.
Leerdoelen
Kennismaken met fundamentele inzichten die ten grondslag liggen aan de informatica als wetenschappelijke discipline. In het bijzonder met formele talen en abstracte machines om zulke talen te verwerken. Van eenvoudige machines tot machines die net zo krachtig zijn als een (echte) computer.
Rooster
Het rooster is te vinden via de “Liacs website”:http://www.liacs.nl/edu/bachelorie/roosters/
Onderwijsvorm
Per week 2 keer 2 uur hoorcollege voorafgaand aan 2 uur werkcollege.
Toetsing
Schriftelijk tentamen aan het eind van het semester. Het eindcijfer voor het vak is gelijk aan het tentamencijfer.
Blackboard
Niet van toepassing
Literatuur
John C. Martin, Introduction to Languages and the Theory of Computation, 4th edition, McGraw-Hill, 2011
Aanmelden
Aanmelden via Usis: Selfservice > Sudentencentrum > Inschrijven
Activiteitencodes te vinden via de facultaire website
Voor studenten die niet staan ingeschreven voor de bachelor Informatica is er een beperkte capaciteit. Neem contact op met de studieadviseur.
h3. Contact
Onderwijscoördinator Informatica en Economie, mr. J. Havelaar
Website
Opmerkingen
Dit vak wordt gegeven aan de Campus Den Haag.