NIOC 2009
Sessie 8H Logica via toepassingen
Sprekers: Hanno Wupper en Erik Barendsen
Sector: WO
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.