Semantiek en Logica 1 - voorjaar 2008
Welkom!
In deze cursus leer je formele methoden ontwikkelen en gebruiken in de informatica.
We bekijken formalismen om de betekenis (operationele semantiek) van programmeertalen nauwkeurig vast te leggen. Deze technieken worden toegepast bij het ontwerpen van programmeertalen en het toevoegen van nieuwe taalconstructies. Verder komen ze van pas bij het analyseren van het gedrag van programma's.
Verder leer je om beweringen en redeneringen te analyseren. We gebruiken propositie- en predicatenlogica als formalisme en onderzoeken afleidingen in natuurlijke deductie. Met een variant van predicatenlogica is het mogelijk om tijdafhankelijke eigenschappen van systemen te specificeren en beredeneren. Je gebruikt computergereedschap (een proof tool) om die eigenschappen automatisch te verifiëren.
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.
Docenten
Kamer HG02.625 |
|
Kamer HG02.061 |
|
Kamer HG02.528 |