SluitenHelpPrint
Switch to English
Cursus: INFOLAI
INFOLAI
Logica voor AI
Cursus informatieRooster
CursuscodeINFOLAI
Studiepunten (ECTS)7,5
Categorie / Niveau3 (Bachelor Gevorderd)
CursustypeCursorisch onderwijs
VoertaalNederlands
Aangeboden doorFaculteit Betawetenschappen; Onderwijsinstituut Informatica;
Contactpersoondr. ir. J.M. Broersen
Telefoon+31 30 2533193
E-mailJ.M.Broersen@uu.nl
Docenten
Docent
dr. ir. J.M. Broersen
Feedback en bereikbaarheid
Overige cursussen docent
Blok
2  (14-11-2011 t/m 03-02-2012)
Aanvangsblok
2
TimeslotD: WO-middag, WO-namiddag, Vrijdag
Onderwijsvorm
Voltijd
Opmerking
Cursusinschrijving geopendvanaf 20-06-2011 t/m 18-11-2011
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedureadministratie onderwijsinstituut
Cursusdoelen
-
Inhoud

De leerdoelen van LAI zijn: vertrouwd raken met de syntax en leren kennen van de semantieken en motiveringen van verschillende modale logica's; het begrijpen en kunnen hanteren van concepten als (modale) `bewijsbaarheid' en `geldigheid'; `frame'; `correspondentie'; de `modale systemen K, KD, KD4, S4 en S5'; `bisimulatie'; `volledigheid'; `canoniek model'; `common knowledge'; `distributed knowledge'; `gedistribueerde systemen'; `interpreted system'; `kennis-geloof-interactie'; `omniscience'; `weak modal systems'; `neighborhood semantics'; `impossible worlds semantics'; `public announcement logic'; `product update'; etc.

http://www.cs.uu.nl/education/vak.php?vak=INFOLAI&jaar=2011

 

 

 

Ingangseisen
Verplicht materiaal
Boek
Dynamic Epistemic Logic, Series: Synthese Library , Vol. 337, Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, 2007, XII, 296 p., Hardcover, ISBN: 978-1-4020-5838-7
Werkvormen (aanwezigheidsplicht)
Hoorcollege

Werkcollege

Toetsen
Schriftelijk tentamen
Weging100
Minimum cijfer6

Beoordeling
Tentamen in twee delen.

SluitenHelpPrint
Switch to English