| vorm | groep | tijd | week | zaal | docent | |
|---|---|---|---|---|---|---|
| college | wo 13-15 | 17-21,23-26 | BBL-471 | Wishnu Prasetya |
|
|
| vr 11-13 | 17,19,21,23-26 | BBL-471 | ||||
| practicum | Wishnu Prasetya Thomas van Noort Eric Bouwers |
|
||||
| groep 1 | wo 15-17 | 24,25 | BBL-458 | |||
| vr 13-15 | 24,25 | BBL-458 | ||||
| groep 2 | wo 15-17 | 24,25 | BBL-461 | |||
| vr 13-15 | 24,25 | BBL-461 | ||||
| werkcollege | Thomas van Noort Eric Bouwers |
|||||
| groep 1 | wo 15-17 | 17-21,23-26 | BBL-416 | |||
| vr 13-15 | 17-19,21,23-26 | BBL-420 | ||||
Onderstaande tekst is een oude vakbeschrijving uit collegejaar 2005/2006
In dit college gaan we programeerlogica leren. Het is een methode om een programma correct aan te tonen zonder wij de programma hoeven te testen. De methode is volledig: een correct aangetoond programma voldoet echt aan zijn specificatie. Er zijn geen sluipende fouten meer! Het ontwikkelen van betrouwbare software kost eenmaal meer moeite. Het principe van programmerlogica is eenvoudig, maar het uitoefenen daarvan eist veel abstractie en dicipline, wat je ook tijdens de cursus gaat oefenen.
collegedictaat.
eindcijfer = 0.2 * cummulatief opdrachten + 0.3 * mid-tent. + 0.5 * eind-tent
cummulatief opdrachten = 0.3 * opdracht1 + 0.4 * opdracht2 + 0.3 * opdracht3
Alle opdrachten zijn verplicht, en bovendien moet je minimaal 4 voor het eindentamen halen.
- Hoare logic voor imperatieve programmas
- Stapgewijs constructie van invariant
- Block, exception, programma aanroep
- Abstract datastructuur
- Incrementeel constructie van bewijs
- Correctheid van functioneel programmas
- Hoare logic voor OO programmas