Op 26 januari, van 15.30-17.30 uur vindt in HG01.028 het allerlaatste tentamen plaats van de cursus Semantiek en Logica 2.

Hier wat verdere opmerkingen:

Cijfers voor eerder behaalde onderdelen (Werkstuk, Lambda Calculus + Type Theorie, Logica) tellen gewoon mee in de eindbeoordeling.
Het eindcijfer is de som van de drie onderdelen gedeeld door 3.
Er zal een deeltentamen voor het Logica deel zijn en een deeltentamen over het Lambda Calculus + Type Theorie deel. Dus je kunt maar 1 van deze twee deeltentamens maken.

Als je allebei de onderdelen wilt maken, of als je verdere vragen hebt, neem dan contact met mij op.

Herman Geuvers

PS De cursus is vorig (2008-2009) jaar voor het laatst gegeven. Zie http://www.cs.ru.nl/H.Geuvers/onderwijs/sl2-2008/ voor het cursusmateriaal.