Basismodellen in de Informatica

Omschrijving

Basismodellen in de Informatica wordt vaak afgekort tot BAMI.

Er wordt een introductie gegeven tot wat basismodellen uit de informatica, vooral kijkende naar automaten, transistiesystemen, stapelautomaten, Turing-machines, formele talen en context-crije en reguliere grammatica’s.

Verder is er een kleine introductie op het principe van beslisbaarheid en als voorbeeld van een onbeslisbaar probleem wordt er het “halting-probleem� gebruikt.

Leerdoelen

• Een aantal standaard basismodellen uit de informatica uitleggen
• Belangrijke toepassingen van deze modellen toelichten.
• Zulke modellen construeren en manipuleren voor eenvoudige toepassingen
• Bruikbaarheid van deze modellen toetsen evenals nagaan onder welke omstandigheden deze modellen hun geldigheid verliezen.
• Uitleggen wat onbeslisbare problemen zijn en waarom deze onbeslisbaar zijn, en minstens éen zo'n probleem noemen.

Onderwijsvorm

Iedere week wordt er 1 hoorcollege, 1 werkcollege en 1 practicumblokuur gehouden. De opzet is vergelijkbaar met Programmeren 1. Groot verschil met vorig jaar is dat er toen maar 2 practica-opdrachten waren waar er nu iedere week opdrachten zijn.

Docenten

• prof. dr. J.C. van de Pol
• dr. ir. A. Rensink

Deelnemende Opleidingen

• Technische Wiskunde (TW) **Fase B1, Kwartiel K4**
• Technische Informatica (INF) **Fase B1, Kwartiel K4**

Studiemateriaal

• T.A. Sudkamp, Languages and Machines - An Introduction to the Theory of Computer Science, 3rd edition (2006), Addison-Wesley, MA; ISBN 0-201-82136-2
• Collegedictaat (incl. werkcollege- en practicumhandleiding)

Links

VIST