Voortgezette Logica

De cursus `Voortgezette Logica' is een keuzevak van 4 ects voor bachelor studenten AI en I, dat ook in een masterprogramma kan worden opgenomen. Andere belangstellenden zijn natuurlijk ook van harte welkom.

Ten opzichte van vroegere jaren is het vak nu gewijzigd. In de oude vorm was het 6 ects en werd het in het najaar gegeven. De reductie naar 4 ects wordt bereikt door het onderdeel niet-monotone logica te laten vervallen.

Docenten:

Clemens Grabmayer (Hoorcollege)
Helle Hvid Hansen (Werkcollege)

Rooster:

Hoorcolleges	maandagen 13.30 - 15.15	in S2.09	weken 6-12
Werkcolleges	woensdagen 13.30 - 15.15	in S2.05	weken 6-10,12
	woensdag 13.30 - 15.15	in F1.53	in week 11

Materiaal:

• Syllabus Modale Logica [(ps)][(pdf)] (geschreven door Yde Venema en Roel de Vrijer).
  
      Opmerkingen:
  • Het in de syllabus in de inleiding op pagina 1 onder "Literatuur (algemeen)" derde genoemde boek is inmiddels (al lang) verschenen:
            P. Blackburn, M. de Rijke, Y. Venema: Modal Logic, Cambridge Tracts in Theoretical Computer Science 53, Cambridge University Press, 2001.
  
  
• Handouts voor de weken 3,4,5 van het college, zie de pagina voor de Collegestof.
• Slides die in het college al zijn gebruikt, worden ook op de pagina voor de Collegestof beschikbaar gesteld.

Collegestof

Een voorlopige overzicht van de te behandelen collegestof is hier te vinden (maar veranderingen zijn nog mogelijk).

Huiswerkopdrachten

Tijdens deze colleges zullen twee huiswerkopdrachten worden gegeven. De opdrachten worden op deze pagina beschikbaar gesteld, de eerste na het derde college en de tweede na het vijfde hoorcollege. Deze opgaven zijn niet verplicht, maar het is een mogelijkheid om je kennis te laten toetsen en door het inleveren van goede oplossingen kun je bovendien in totaal 0.5 bonuspunt voor het tentamen verdienen.

1. Huiswerkopdracht 1 (moest worden ingeleverd bij het hoorcollege van 27 februari of bij het werkcollege van 1 maart 2006).
   (Uitwerkingen van deze huiswerkopdracht zijn nog te verkrijgen.)
2. Huiswerkopdracht 2 (moest worden ingeleverd bij het hoorcollege van 13 maart of bij het werkcollege van 15 maart 2006)
   (Ook van deze huiswerkopdracht zijn uitwerkingen nog te verkrijgen.).

Bonuspunten bij het tentamen

Tentamen Voortgezette Logica

• donderdag 30 maart 2006, 12.00 - 14.45, zaal Q105/M143
• woensdag 14 juni 2006, 18.30 - 21.15, zaal Q 105

Vragenuur