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.
