Cvičení VPL, 2018/19, Po 10:40 S11

V záznamníku učitele (v SISu) jsem k vašemu jménu u tohoto cvičení vložil pseudonáhodný pseudokód.
Podle něho se najděte.

Oznamy:
... Maily jsou zpracovany.
23.1. Náhradní příklady v mojich příkladech k cvičení.

Pseudokód	1.10.	15.10	22.10	29.10.	19.11	26.11	10.12		17.12
		DU1	DU2	DU3	DU4	DU5	DU6	DU7	SUM1	DU8	SUM2	ZAP(10.1.)
ADPP		5	5	4m	5m	5-m	4,5*	.	28,5			ZAP
AHPN		5	5	5-	5	5-	5	5	35			ZAP
BKQZ		5	5	4,5m	3,5m	5-	2	5	30			ZAP
FLUL		4,5	3,5*	5	5	5-	3	5	31			ZAP
GSVO		4	.	5-m	.	.	.		 9
									-
HSIH		4	5	5	4	5-	3	4,5	30,5			ZAP
HSJC		5	5-	5	5	5-	.	5	30			ZAP
JQEL		5	5	5-	5	5	5	4	34			ZAP
OZNH		3,5	2	5-m	.	5	5-	5	25,5	2	27,5	ZAP
PHPT		3	5	.	2	2	4	1	17	3	20	.
									-
PXEH		4,5	4	5	5	1	5-	5	29,5			ZAP
QWFV		5	5	.	.	4	5	5	24	3	27	ZAP
RZFM		4,5	5	5-	3	5-	5	4	31,5			ZAP
TEGN		5	5	4,5m	5-	4,5	5	5	34			ZAP
WIIF		4	5	5	4	5-	3	5	31			ZAP
									-
ZTRU		4	4	.	5	3	.		16			.
--	--------------------------------------------------------------------------------------------
Pocet		16	14+1	13	13	15	12+1	13	16	3	16	13+


Body za kazdou ulohu: 0-5, celkem 40
Pozadavek na zapocet: 27 (2/3 bodů)
(defaultni datum v SIS: Ct 10.1.2019)

-   drobna nepresnost
(*) opraveno dodatecne
m   mailem
ZAP zapocitano

Priklady 2018: (+zadano)
DC1. 1.10. Bipartitní graf
DC2. 15.10. Převod na DNF,CNF a modely (pr 2.12)
DC3. 22.10. Popiste vsechny (nekonecne) modely
DC4. 29.10. Dokazte tablo metodou: (p->(q->r))->((p->q)->(p->r))
DU5. 19.11. Definovatelnost nejvys jednoprvkovych mnozin
DU6. 26.11. Tablo pro PL
DU7. 10.12. Gr:9.7b Tranzitivita rovnosti.
DU8. 17.12(posledni) Gr:11.11d Prevod a skolemizace