Leerdoelen

Na afloop van deze cursus kunnen de deelnemers:

Beginvereisten

Je hebt programmeerervaring met imperatieve en functionele talen. Verder kun je: Deze voorkennis kun je opbouwen via de cursussen rond programmeren en de cursussen Talen en Automaten, Semantiek en Correctheid en Beweren en Bewijzen.