Docentendag Radboud
06 februari 2006
Frans Peeters
Het Onderwijsinstituut voor Informatica en Informatiekunde aan de Radboud Universiteit Nijmegen ziet het als een van zijn taken het vwo op de hoogte te houden van nieuwe ontwikkelingen in het vakgebied. Met de steun van Uitgeverij ThiemeMeulenhoff organiseren ze daarom op donderdag 9 maart 2006 alweer voor de vijfde maal een docentendag met actuele onderwerpen en lesideeën voor docenten en coördinatoren informatica. Het hoofdthema dit jaar is computerondersteund redeneren. Dit is een hot item in het informaticaonderzoek, ook in Nijmegen. Zo kan men nu de correctheid van bijvoorbeeld een computerchip met behulp van redeneerprogramma's (proof assistants) bewijzen, of juist fouten in zo'n ontwerp ontmaskeren voor de chip in productie gaat. Het aardige is dat de toepassing van zulke redeneerprogramma's zich niet beperkt tot correctheid van programma's. Ook alledaagse problemen en puzzels kan men ermee aanpakken, zoals blijkt uit de programma's die door studenten spontaan worden gemaakt om sudoku's op te lossen.
Reacties
Jan Visser
Geplaatst op 07 februari 2006 22:46
Ik heb gebeld daar natuurlijk mijn interesse hierin groot is. Het programma zijn ze helaas vergeten in de brief te stoppen maar het wordt nu nagestuurd dus nog voor het weekend komt dat bij de scholen alsnog binnen! Ik weet dat het om 10.00 uur begint en dat het middagprogramma zal gaan over Code Yard (Piet Geelen) en Security (lesmateriaal vwo) en nog wat en dit alles begeleid met een uitstekende lunch en een borrel. Het vorig jaar was het Turing zelf die organiseerde en dat was goed, heel goed zelfs. Dus weer een reden om een goede oplossing te vinden om Turing op een of andere manier te continueren al was het maar om onze informatica-poot sterk te houden!
Geplaatst op 07 februari 2006 20:10
Ik heb de enveloppe binnenste buiten gekeerd en niet gevonden.
Herman van Keulen
Geplaatst op 07 februari 2006 19:23
Bij mij ook niet.
Frans Peeters
Geplaatst op 07 februari 2006 18:08
Oeps ik dacht er even mijn naam af te knippen maar dat is niet zo gelukt. Ik heb me inmiddels aangemeld maar volgens mij ontbrak het gedetailleerde programma. Bij mij zat het niet in de envelop in ieder geval.
Piet Geelen
Geplaatst op 07 februari 2006 17:49
De bijlage bevat tweemaal de uitnodiging.