výuka
Petr Olmer, MFF UK
20.05.2008
Vyhodnocení domácích úkolů
Jak nejít na zkoušku či jak si ji ulehčit. Průběžně aktualizováno.
Domácí úkol 5
Organizační struktura.
Domácí úkol 4
Vyjednávání.
12.05.2008
Domácí úkol 3
Intencionální logika.
1.05.2008
20. přednáška (28. dubna 2008)
Logiky pro MAS. Modální logika epistemickým pohledem. Epistemická logika.
21.04.2008
19. přednáška (21. dubna 2008)
Logiky pro MAS. Normální modální logika.
20.04.2008
Domácí úkol 2
Abstraktní argumentační systém.
14.04.2008
18. přednáška (14. dubna 2008)
Dokončení komunikace. Argumentace.
7.04.2008
17. přednáška (7. dubna 2008)
Koordinace pomocí sociálních norem. Variace Contract Netu.
6.04.2008
Domácí úkol 1
Koordinace pomocí norem.
16. přednáška (31. března 2008)
Spolupráce.
15. přednáška (10. března 2008)
Vytváření koalic.
14. přednáška (3. března 2008)
Vyjednávání.
5.04.2008
13. přednáška (25. února 2008)
Shrnutí zimního semestru a výhled do semestru letního.
25.02.2008
Přednáška v letním semestru
Vždy v pondělí od 15:40 v S8.
12.01.2008
12. přednáška (9. ledna 2008)
Kritéria pro interakční protokoly. Hlasování. Clarkův daňový mechanismus.
23.12.2007
Domácí úlohy
Poznámky k tomu, jak nemuset jít na zkoušku.
10. přednáška (12. prosince 2007)
Strategie BDI agentů. Multiagentní hry.
6.12.2007
9. přednáška (5. prosince 2007)
Shrnutí symbolické a reaktivní architektury, agentově-orientované programování. Hybridní architektury. BDI agenti.
28.11.2007
7. a 8. přednáška (samostudium)
Symbolická a reaktivní architektura.
14.11.2007
5. přednáška (7. listopadu 2007)
Standardní, čistě reaktivní, vnímající a stavové systémy. Dokončení užitkových funkcí.
4.11.2007
4. přednáška (31. října 2007)
Cihličky. Užitkové funkce.
3.11.2007
3. přednáška (17. října)
Abstraktní architektury - úvodní definice.
2.11.2007
2. přednáška (10. října)
Úvod do multiagentních systémů.
1.11.2007
1. přednáška (3. října 2007)
Úvod do předmětu.
2.10.2007
Pozvánka na přednášku
Kdy a o čem.
11.07.2007
Statistika po zkouškovém
Zaokrouhleno na celá procenta. Před zářijovými termíny.
8.06.2007
Poznámky ke zkoušce
Měl jsem to pochybné štěstí, že jsem opravoval zkouškové písemné práce. Ze čtyř prací prošla jenom jedna, a i ta velmi těsně.
22.05.2007
Zápočtová písemka (21. května 2007)
Výsledky písemky jsou v grupíčku.
14.05.2007
Test 4 (14. května 2007)
Výsledky testu jsou v grupíčku.
12. cvičení (14. května 2007)
Zkouškové příklady.
7.05.2007
11. cvičení (7. května 2007)
Mohutnosti množin, modální logika, důkaz boží existence.
30.04.2007
10. cvičení (30. dubna 2007)
Dokazatelnost formulí v predikátové logice.
29.04.2007
Test 3 (23. dubna 2007)
Výsledky testu jsou v grupíčku.
23.04.2007
Organizační záležitosti
Info o následujících týdnech.
9. cvičení (23. dubna 2007)
Úvod do dokazování v predikátové logice.
16.04.2007
8. cvičení (16. dubna 2007)
Dokončení predikátového kalkulu.
3.04.2007
Test 2 (2. dubna 2004)
Výsledky testu jsou v Grupíčku.
2.04.2007
7. cvičení (2. dubna 2007)
Platnost formulí v realizacích.
29.03.2007
6. cvičení (26. března 2007)
Úvod do predikátové logiky - kalkul.
19.03.2007
5. cvičení (19. března 2007)
Dokončení výrokové logiky.
12.03.2007
Test 1 (12. března 2007)
Výsledky testu jsou v Grupíčku.
4. cvičení (12. března 2007)
Axiomatický systém výrokové logiky.
7.03.2007
3. cvičení (5. března 2007)
Dokončení výrokového kalkulu.
26.02.2007
2. cvičení (26. února 2007)
Výroková logika - ekvivalence formulí (zákony), normální tvary.
22.02.2007
1. cvičení (19. a 23. února 2007)
Úvod do výrokové logiky.
19.02.2007
Literatura
Základní, rozšiřující, doplňující.
Podmínky získání zápočtu
Podmínky platí pro obě mé skupiny.
16.02.2007
Seminář v letním semestru
Termín konání semináře ani jeho téma ještě není umluveno.
