Dit is de informatiepagina voor het vak Voortgezette Logica, cursusjaar 2008 - 2009. Zie voor algemene informatie de studiegids van Kunstmatige Intelligentie of ocasys.
Afkortingen die in het overzicht voorkomen: lvi voor "het boek Logica voor
informatica" en dt voor "het diktaat TCW Voortgezette Logica".
Verdeling van de stof over 8 colleges:
Inductieve definities en bewijzen (lvi 5.1, 5.2 en 5.3 en de hand-out over
inductie)
Huiswerk voor 19 mei: geen
Werkcollege: lvi opg. 5.1, 5.2, 5.3
Meerwaardige logica (lvi 12.9, dt 1), modale logica: syntax (lvi 13.1 en
13.2, dt 5.1)
Huiswerk voor 26 mei: opdracht 1
Werkcollege: dt opg. 1.2, 1.3, 1.6; lvi opg. 13.1, dt opg. 5.1, 5.6
Modale logica: semantiek en tableaus (lvi 13.3 en 13.4 van de handout over
modale semantische tableau's, dt 6)
Huiswerk voor 28 mei: geen
Werkcollege: dt 5.7, 5.9, lvi 13.3, dt 6.1, 6.3, 6.5
Modale logica: axiomatische bewijzen en karakteriseringen (lvi 13.6 en 13.7,
dt 6)
Huiswerk voor 2 juni: opdracht 2 en opdracht 3
Werkcollege: lvi 13.5, dt 6.19c, 6.22c, 6.29, 6.30, 6.31
Uitwerkingen:
Modale predikatenlogica en tijdslogica (lvi 13.8, 18.1 en 18.2, dt 7)
Huiswerk voor 5 juni: geen
Werkcollege: lvi 13.6, dt 7.2, 7.3, 7.5, 7.6
Parallelle processen en tijdslogica (lvi 18.3, 18.4 en 18.5, dt 18 t/m
paragraaf 18.3)
Huiswerk voor 9 juni: opdracht 4 en 5 (uitgesteld naar 11 juni).
Werkcollege: dt 18.1, 18.2, 18.9, 18.11, 18.19, 18.22
Logica en complexiteit (lvi 17, behalve de gedeelten over model
comparison)
Huiswerk voor 11 juni: opracht 4 en opdracht 5.
Werkcollege: lvi 17.1, 17.2
Niet-monotoon redeneren: hand-out over niet-monotoon redeneren
Huiswerk voor 16 juni: opdracht 6 en opdracht 7.
Werkcollege: handout problem 3-1 en 3-2 (pp. 29) en Oefening 1, 2 en 3
achterin de hand-out
Huiswerk voor 19 juni: opdracht 8 (nestor) (voor ma 22 juni 09.00 uur in het postvakje van Rineke).