Siin leheküljel paikneb info TTÜ teoreetilise informaatika õppetooli 1999. a kevade agentloogikate kursuse kohta (kood LAI8721, õppejõud KübI tarkvara osak van-teadur Tarmo Uustalu).
(Vt esimest osalemiskutset, ametlikku ainekaarti.)
[6.4.99] Esimese loengu alguses arutasime loengute/seminaride aegu ja otsustasime esialgset kava muuta.
Nädalad jäid endisteks -- nädal 14 (5.-9.4.), nädal 16 (19.-23.4.), nädal 18 (3.-7.5.) ja nädal 19 (10.-14.5.) -- ja päevad samuti -- E, K, R --, aga kellaajad muutsime järgmiselt:
E 15-18, K 15-18, R 16-18 (kusjuures 18 tähendab 17.45).
Kohaks jäi endiselt aud VI-224.
[18.4.99] Esimese nädala loengute kiled on tänu Juhanile nüüd elektrooniliselt saadaval; vt alt.
[3.5.99] Tänasel loengul jagasin välja paberkoopiad kahe esim nädala loengute kiledest. Kes kohal polnud, küsige.
[12.5.99] Tänasest on kolme nädala loengute kiled elektroonilisel kujul sellelt lehelt allalaaditavad; vt alt.
[14.5.99] Viimase nädala loengute kilede e-versioon tekib lähipäevil. Eksami aega ja kohta kooskõlastame veel. Täna seminaril kohal olnud seltskonnaga leppisime tööversiooniks T 25.5. peale lõunat.
[19./20.5.99] Eksam toimub T 25.5. kl 14-17 aud VI-124.
Tarmo Uustalu