doc. Jaroslav Tišer: Základy diskrétní matematiky [12 – 18. 12. 2018, ZS 18-19] HD

19.12.2018
Tvary CNF a DNF [00:12:47], Logický důsledek [00:17:52], Splnitelná množina [00:34:10], Rezoluční metoda [00:57:00].

Похожие видео

Показать еще