SluitenHelpPrint
Switch to English
Cursus: INFOLAI
INFOLAI
Logica voor AI
Cursus informatieRooster
CursuscodeINFOLAI
Studiepunten (ECTS)7,5
Categorie / Niveau3 (3 (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
Contactpersoon van de cursus
dr. ir. J.M. Broersen
Overige cursussen docent
Docent
dr. ir. J.M. Broersen
Feedback en bereikbaarheid
Overige cursussen docent
Docent
Docent nog onbekend/To be announced
Overige cursussen docent
Blok
Onbekend
Aanvangsblok
2
TimeslotA: A (MA-ochtend, DI-namiddag, WO-ochtend)
Onderwijsvorm
Voltijd
Opmerkinghttp://www.cs.uu.nl/education/vak.php?vak=INFOLAI
Aanmeldingsprocedureadministratie onderwijsinstituut
ToelichtingJe wordt ingeschreven voor deze cursus door de administratie van de opleiding van de cursus.
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/lai

 

Competenties
-
Ingangseisen
-
Verplicht materiaal
-
Aanbevolen 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
Hoorcollege

Werkcollege

Toetsen
Schriftelijk tentamen
Weging100
Minimum cijfer6

Beoordeling
Tentamen in twee delen.

SluitenHelpPrint
Switch to English