Modern programmeeronderwijs$ a.exeTik een rij getallen en sluit af met een 0:> 4 8 2 12 5 9 0Het grootste getal is: 12

Differentieren in voorkennis

Wat is “modern”?

Waar het afnemende veld om vraagt?

Wat de studenten ervan verwachten? Wat we zelf belangrijk vinden?

C++

JavaC#

PHP

Ruby

Haskell

Pascal

Taal, tools, en technieken...

Compiler? Geintegreerde ontwikkelomgeving? User-interface builder? Framework wizard? Debugger?

Wat hoort er bij?

Programmeertaal (alle constructies?) Algoritmen? Libraries? Theoretische achtergronden?

Moet het ook “leuk”zijn?

Groepsproject

Aan het begin van de studie:motivatie, orienterend

Aan het eind van de studie:integratie, evaluerend

Tijdens de studie:groepswerk-vaardigheden ofindividuele programmeervaardigheden?

Feedback (Nakijken van ingeleverd werk)

Plagiaatcontrole? Alleen werking?

Of ook kwaliteit van de code?(en wat is dat dan?)

Automatisch of door docent? Theorietentamen of praktisch werk?

Dilemma’s:

Wat is modern? Taalkeuze... Leuk? Taal + tools + technieken... Welke? Taal / Algoritmen / Libraries / Theorie Groepswerk? Wanneer? Feedback: wat en hoe?

Discussie – Presentatie - Evaluatie

UtrechtsePracticumopgaven

0

2

1

3

Theretische achtergronden...in een praktische context

Foutmeldingen variabele niet gedeclareerd puntkomma vergeten ...

Waarschuwingen unreachable code statement has no effect while-statement doesn’t terminate

deze waarschuwingis theoretischonmogelijk!

Het Halting-problem is onoplosbaar

bool stopt (string filenaam){ ....}

void gemeen (string filenaam){ while ( stopt(filenaam) ) x++;}

Ha!En dit dan?

Nietes!Deze methode

lost het op:

stopt( "Gemeen.cs" )wat komt er dan uit:

?

Het Halting-problem is onoplosbaar

void gemeen (string filenaam){ while ( stopt(filenaam) ) x++;}

stopt( "Gemeen.cs" )

Twee mogelijkheden: “Gemeen” stopt wel

“Gemeen” stopt niet

...dus stopt levert true op

...dus gemeen bijft hangen!

...dus stopt levert false op

...dus gemeen stopt direct!

tegenspraak!

dus stopt kan helemaal niet bestaan

Eerste jaar Gametechnologie tweede kwartaal:

Gametechnologie introductie-project maak een retro-

game met nieuwe technologie

Retro-games

GTA - Woerden

3D

Zeeslag - voice control

Megaman - webcam gesture

control

Lemmings - network

multiplayer

En de "gewone” informatica? Informatica introductieproject