Hoofdstuk 5: Predikaatlogica en informatica
Inhoud
Introductie
Verdere inhoud van hoofdstuk 5
Downloads
Hoofdstuk 5
Bij dit hoofdstuk bestaat een online programma dat kan worden gebruikt ter verdieping of ter illustratie. In het programma De Verificator kunt u modellen construeren voor het waarmaken van gegeven formules, en bij een gegeven model verifiėren of een gegeven formule daarin waar is.
Introductie
In dit hoofdstuk gaan we, wat informeel, betekenis geven aan predikaatlogische formules door invoering van het begrip predikaatlogisch model, en op basis daarvan analyseren we ook logisch gevolg voor redeneren met objecten, predikaten en kwantoren. Als we dat alles eenmaal begrijpen, dan kunnen we ook laten zien hoe de predikaatlogica verrassende toepassingen kent in de studie van informatie en rekenen. We kunnen er gewoon informatief taalgebruik mee beschrijven over de wereld om ons heen zoals zij is, maar zelfs ook, veel minder voor de hand liggend, het gewenste gedrag van rekenprogramma's in de informatica die doelbewust toestanden van een rekenautomaat veranderen.
Verdere inhoud van hoofdstuk 5
Alle materiaal is te vinden in de file die gedownload kan worden (zie bovenaan deze pagina).
