| vorm | groep | tijd | week | zaal | docent | |
|---|---|---|---|---|---|---|
| college | di 13-15 | 6,8,10,11,14,15 | MIN-211 | Wishnu Prasetya |
|
|
| 7,12,13 | AARD-C008 | |||||
| vr 11-13 | 6,8,12 | BBL-105b | ||||
| 7,10,11,13-15 | AARD-C008 | |||||
| practicum | di 11-13 | 14,15 | BBL-458 | |||
| BBL-461 | ||||||
| wo 15-17 | 14 | BBL-458 | ||||
| BBL-461 | ||||||
| werkcollege | groep 1 | di 11-13 | 7,8,10-13 | BBL-505 | Arthur van Leeuwen Cees Pierik |
|
| wo 13-15 | 6-8,10-13,15 | BBL-505 | ||||
| groep 2 | di 11-13 | 7,8,10-13 | BBL-430 | |||
| wo 11-13 | 6-8,10-13,15 | BBL-430 | ||||
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.
eindcijfer = .2 * cummulatief opdrachten + 0.3 * mid-tent. + 0.5 * eind-tent
cummulatief opdrachten = 0.2 * opdracht1 + 0.35 * opdracht2 + 0.45 * opdracht3
Alle opdrachten zijn verplicht, en bovendien moet je minimuum 5 voor beide tentamens halen.
Herkansing tentamen: mag je gebruiken om je cijfer voor mid- of eind-tentamen te vervangen. Eis: minimuum 6 voor cummulatief odrachten.