Werkwijze

Colleges en leertaken

Het grootste deel van deze cursus is taakgestuurd opgezet. Je volgt een wekelijkse cyclus van oriëntatie (hoorcollege), zelfstudie (leertaak) en nabespreking (responsiecollege). Elke leertaak heeft een vaste structuur, waarin bijvoorbeeld precies de leerdoelen en de op te leveren producten zijn gespecificeerd. Zo kun je ook (als je dat wilt) het cursusmateriaal zelfstandig en doelgericht doorwerken.

We hebben wekelijks twee bijeenkomsten: één voor het hoorcollege en de ander voor het responsiecollege.

Werkstuk

Je voert aan het einde van de cursus een case study uit naar systeemverificatie met behulp van temporele logica. De resultaten presenteer je in de vorm van een werkstuk.

Toetsing

De beoordeling is gebaseerd op vijf resultaten:

• een deeltentamen over het onderdeel semantiek van imperatieve talen,
• een deeltentamen over het onderdeel termherschrijven,
• een deeltentamen over het onderdeel programmacorrectheid,
• een deeltentamen over de onderdelen propositie- en predicatenlogica,
• het werkstuk over systeemverificatie.

Als je voor hooguit één van de deeltentamens een beoordeling lager dan 5 hebt en bovendien voor het werkstuk minstens een 6 hebt behaald, is het eindcijfer voor Semantiek en Logica het gemiddelde van de vijf resultaten. In andere gevallen is het eindcijfer het laagste van de vijf.

Toetsing 3ec variant

De beoordeling is gebaseerd op drie resultaten:

• een deeltentamen over het onderdeel semantiek van imperatieve talen,
• een deeltentamen over het onderdeel termherschrijven,
• een deeltentamen over het onderdeel programmacorrectheid,

Als je voor hooguit één van de deeltentamens een beoordeling lager dan 5 hebt, is het eindcijfer voor Semantiek en Logica het gemiddelde van de drie resultaten. In andere gevallen is het eindcijfer het laagste van de drie.

Herkansing

In augustus zal het mogelijk zijn om alle vier de deeltentamens te herkansen.

De regeling is als volgt.

• Een voldoende (>=6) kan niet herkanst worden, tenzij met toestemming van de docenten. Als er toestemming wordt verleend dan telt het laatste cijfer.
• Na de herkansing van een onvoldoende telt het hoogste van het deeltentamen en het herdeeltentamen. De slagingsregeling is zoals eerder.
• Indien het eindcijfer reeds een voldoende is, vervalt daarmee het recht om deeltentamens te herkansen.