výuka
Petr Olmer, MFF UK
22.05.2007
Zápočtová písemka (21. května 2007)
>
Cvičení z logiky
Výsledky písemky jsou v grupíčku.
Celý příspěvek
Petr Olmer
,
22.05.2007, 12:02:00
,
trvalý odkaz
,
komentáře (0)
14.05.2007
Test 4 (14. května 2007)
>
Cvičení z logiky
Výsledky testu jsou v grupíčku.
Celý příspěvek
Petr Olmer
,
14.05.2007, 17:54:00
,
trvalý odkaz
,
komentáře (0)
12. cvičení (14. května 2007)
>
Cvičení z logiky
Zkouškové příklady.
Celý příspěvek
Petr Olmer
,
14.05.2007, 17:53:00
,
trvalý odkaz
,
komentáře (0)
7.05.2007
11. cvičení (7. května 2007)
>
Cvičení z logiky
Mohutnosti množin, modální logika, důkaz boží existence.
Celý příspěvek
Petr Olmer
,
7.05.2007, 9:00:00
,
trvalý odkaz
,
komentáře (0)
Předměty
Multiagentní systémy
Seminář z MAS
Cvičení z logiky
Ročníkový projekt
Archiv
MAS - přednášky:
1
/
2
/
3
/
4
/
5
/
6
/
7
/
8
/
9
, čtení
1
/
2
/
3
/
4
/
5
/
6
/
7
/
8
/
9
, úlohy
1
/
2
/
3
/
4
/
5
/
6
/
7
/
8
/
9
.
po měsících:
04/08
02/08
01/08
12/07
11/07
10/07
07/07
06/07
05/07
04/07
03/07
02/07
01/07
12/06
11/06
10/06
09/06
rok 2005/6
rok 2002/3: agenti (
přednáška
,
seminář
), logika (
cvičení
,
proseminář
),
SDL
rok 2001/2: logika (
cvičení
,
proseminář
)
rok 1999/2000:
Prolog
Odkazy
MFF
KTIML
RSS