Door een bijzondere inhoudelijke en didactische opbouw worden belangrijke nadelen van een meer traditionele aanpak van logicaonderwijs in informaticacurricula vermeden.
We presenteren de opzet van de cursus ‘Bewegen en bewijzen’ die een inleiding in de logica combineert met het leren specificeren en redeneren over echte dingen: artefacten zoals computersystemen.