De innige band tussen informatica en wiskunde
Als wiskundigen denken en rekenen we veel. Tegenwoordig gebruiken we hier erg regelmatig computers voor. We temmen en creëren deze apparaten met de kennis opgedaan uit het vakgebied Informatica.
In deze bijeenkomst krijg je een vogelvlucht langs het ontstaan van de Informatica uit de logica en wiskunde en het gevolg voor de wiskunde in het heden. De grondslagen van de logica en berekenbaarheid worden niet geschuwd. De belangrijke spelers in dit veld, Leibniz, Babbage, Turing, Church en nog meer krijgen een basisplaats in de opstelling voor deze lezing.
In het tweede deel van deze bijeenkomst ga je zelf aan de slag met de theoretische computers, die Alan Turing 85 jaar geleden bedacht heeft en één van zijn grondbrekende resultaten mee bereikt heeft.
Workshopgever: Pieter van Engelen, docent Informatica en Wiskunde. Tevens Turing-fanaticus.