Program correctness

Iedereen maakt tegenwoordig gebruik van computerprogramma’s en apps. Sterker nog, het is vrijwel onmogelijk om mee te draaien in de maatschappij zonder constant afhankelijk te zijn van allerlei verschillende software. Voor leerlingen geldt dit waarschijnlijk nog meer dan voor de meeste volwassenen. Toch weten maar weinig mensen wat er daadwerkelijk gebeurt achter de interface die wij als gebruiker te zien krijgen en nemen we het voor lief dat we het niet snappen. In deze les leren de leerlingen hoe software werkt maar vooral ook hoe het soms niet werkt en wat voor gevolgen dit kan hebben.

Deze les is ontwikkeld door de Scholierenacademie in samenwerking met wetenschapper Jorge Perez. Jorge Perez doet onderzoek naar program correctness. Hij gebruikt hiervoor een wiskundige theorie om te kijken of een programma goed werkt.