Semantiek en Logica 2 - najaar 2008

Welkom!

Ook in deze vervolgcursus leer je formele methoden ontwikkelen en gebruiken in de informatica.

We bekijken geavanceerde formalismen om de operationele semantiek van programmeertalen en taalconstructies vast te leggen. Je zult in deze cursus imperatieve, functionele en logische talen tegenkomen.

Je leert de formele technieken gebruiken voor taalontwerp, analyse van berekeningen en programmaverificatie (soms met een tool).

We onderzoeken de grenzen van formele logische systemen: naast de volledigheid van de predicatenlogica maak je kennis met onvolledigheidsresultaten.

Als informaticus zul je formele methoden niet alleen toepassen, maar ook zelf formalismen moeten beoordelen, uitbreiden of ontwikkelen. Daarom gaat deze cursus ook over de eigenschappen van de formele systemen zelf: de metatheorie.