výuka
Petr Olmer, MFF UK
16.05.2006
Závěrečná písemka
Zápočtová písemka se bude psát na cvičeních v pondělí 22. května 2006.
Za písemku bude možné získat nejvýše 40 bodů. Písemka bude mít šest otázek.
1. Rozhodněte, které z následujících formulí výrokové logiky jsou pravdivé. Své tvrzení zdůvodněte. (2 formule, každá za 3 body)
2. Dokažte následující formuli výrokové logiky. (1 formule, 6 bodů)
3. Převeďte následující formuli výrokové logiky na CNF a DNF. (1 formule, každý tvar za 4 body)
4. Rozhodněte, které z následujících formulí predikátové logiky jsou pravdivé. Své tvrzení zdůvodněte. (2 formule, každá za 4 body)
5. Dokažte následující formuli predikátové logiky. (1 formule, 8 bodů)
6. Převeďte následující formuli predikátové logiky na prenexní normální tvar. (1 formule, 4 body)
Komentáře
21.05.2006, 19:08:08
Radek Strnad
Ať počítám, jak počítám, 40ti bodů se nedopočítám... Bude tam tedy ještě něco?
21.05.2006, 20:38:19
Radku, nauc se pocitat :) ja vim, ze bez kvantifikatoru to je nuda, ale obcas je to taky potreba :)
21.05.2006, 21:23:47
Radek Strnad
2*3 = 6
1*6 = 6
1*4 = 4
2*4 = 8
1*8 = 8
1*4 = 4
-------
IMHO 36
1*6 = 6
1*4 = 4
2*4 = 8
1*8 = 8
1*4 = 4
-------
IMHO 36
21.05.2006, 22:01:33
"3. Převeďte následující formuli výrokové logiky na CNF a DNF. (1 formule, každý tvar za 4 body)" tedy 2*4 = 8 .... (a tam zrovna kvantifikator byl ;))
21.05.2006, 22:37:41
Radek Strnad
Aha... omlouvám se... koukal jsem pouze na čísla a ty mezi sebou tupě násobil
21.05.2006, 23:00:37
ja se ozvala jen proto, ze jsem tu samou chybu udelala taky :)
