Kunstmatige Intelligentie:
Voortgezette Logica 2008 - 2009

Dit is de informatiepagina voor het vak Voortgezette Logica, cursusjaar 2008 - 2009. Zie voor algemene informatie de studiegids van Kunstmatige Intelligentie of ocasys.

Colleges

Dinsdags is er college op 19 mei, 26 mei, 2 juni, 9 juni en 16 juni.

• 11.15 - 13.00 uur hoorcollege door Rineke Verbrugge, in BB 253
• 13.15 - 15.00 uur werkcollege door Maarten Jacobs, voor studenten met achternamen A t/m K, in BB 280
• 15.15 - 17.00 uur werkcollege door Gert van Valkenhoef, voor studenten met achternamen L t/m Z, in BB 280

Donderdags is er college op 28 mei en 11 juni.

• 09.15 - 11.00 uur hoorcollege door Rineke Verbrugge, in BB 151
• 11.15 - 13.00 uur werkcollege door Maarten Jacobs, voor studenten met achternamen A t/m K, in BB 289
• 14.15 - 16.00 uur werkcollege door Gert van Valkenhoef, voor studenten met achternamen L t/m Z, in BB 293

Vrijdags is er college op 5 juni.

• 09.15 - 11.00 uur hoorcollege door Rineke Verbrugge, in BB 267
• 11.15 - 13.00 uur werkcollege door Maarten Jacobs, voor studenten met achternamen A t/m K, in BB 116
• 13.15 - 15.00 uur werkcollege door Gert van Valkenhoef, voor studenten met achternamen L t/m Z, in BB 280

Donderdag 18 juni is er een vragenuurtje.

• 09.15 - 11.00 uur vragenuur door Rineke Verbrugge, in BB 151

Cursusmateriaal

Het cursusmateriaal bestaat uit:

• boek Logica voor informatica, van Benthem en van Ditmarsch et al., Addison-Wesley 1993 (derde editie, 2003), als je geen boek hebt van de CoVer booekenverkoop, kun je bij Scholtens Wristers (Selexyz) of bol.com een boek kopen;
• diktaat TCW Voortgezette Logica, van Ditmarsch (1997), verkrijgbaar bij de repro van FWN;
• hand-out over inductie;
• hand-out over modale semantische tableaus: oude druk van het boek hoofdstuk 13, pp. 197-213
• hand-out over niet-monotoon redeneren uit het boek van Antoniou;

Toetsing

De omvang van het vak is 5 EC.

Het eindcijfer van Voortgezette Logica zal bestaan uit twee onderdelen:

• Het wekelijks verplicht ingeleverde huiswerk (8 opgaven in totaal). Het uiteindelijke huiswerkcijfer bepaalt 1/3 van het eindijfer. Het huiswerkcijfer is het gemiddelde van de beste 6 opgaven die je hebt ingeleverd. Een tussentijds overzicht van de huiswerkcijfers is te vinden op deze website;
• Het tentamen is op vrijdag 26 juni, 09.00 - 12.00 in de tentamenhal;
• Het hertentamen is op maandag 24 augustus, 09.00 - 12.00 in de tentamenhal;
• Het tentamencijfer bepaalt 2/3 van het eindcijfer.

Tentamenstof

De tentamenstof is: alles wat genoemd wordt in het collegeoverzicht hieronder. Het te bestuderen materiaal bevat: boek, dictaat, hand-outs, werkcolleges, huiswerk, slides en college-aantekeningen. Bij het tentamen mag u het boek Logica voor Informatica gebruiken plus de hand-out over niet-monotoon redeneren en de hand-out over modale semantische tableaus, maar niet het diktaat TCW Voortgezette logica en de hand-out over inductie. Aantekeningen, uitwerkingen en slides zijn ook niet toegestaan. Bovendien moeten het boek en de beide toegestane hand-outs onbeschreven zijn.