výuka
Petr Olmer, MFF UK
12.03.2007
4. cvičení (12. března 2007)
>
Cvičení z logiky
Axiomatický systém výrokové logiky.
Axiomy, modus ponens. Důkaz. Způsob dokazování formulí.
příklady
test
Petr Olmer
,
12.03.2007, 14:25:00
,
trvalý odkaz
,
Komentáře
(0)
Přidání komentáře
Vaše jméno:
Váš e-mail:
Text:
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
