| vorm | groep | tijd | week | zaal | docent | |
|---|---|---|---|---|---|---|
| college | di 13.15-15.00 | 37-44 | BBL-083 | Wishnu Prasetya |
|
|
| do 11.00-12.45 | 37-44 | BBL-083 | ||||
| practicum | Wishnu Prasetya |
|
||||
| groep 1 | do 9.00-10.45 | 37-44 | BBL-175 CLZ | |||
| werkcollege | Gerrit Wiltink Rene Kersten |
|||||
| groep 1 | di 15.15-17.00 | 37-44 | MIN-202 | |||
| do 9.00-10.45 | 37-44 | BBL-161 | ||||
Onderstaande tekst is een oude vakbeschrijving uit collegejaar 2008/2009
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
- 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