Přejít k hlavnímu obsahu
Boční panel
DL 1
Titulní stránka
Kalendář
Podpora uživatelů
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Další
Čeština (cs)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Momentálně na stránky přistupujete s právy hosta.
Přihlášení
DL 1
Titulní stránka
Kalendář
Podpora uživatelů
Sbalit
Rozbalit
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Rozbalit vše
Sbalit vše
Otevřít indexu kurzu
Výroková a predikátová logika
Archiv JH: výuka 2022
Náhradní, výroková část
Náhradní, výroková část
Požadavky na absolvování
Označit jako hotovo
99.3 KB . PDF
Klikněte na odkaz
vpl22_1c_opr2.pdf
pro zobrazení souboru.
◄ DU5 Tablo pro PL
Přejít na aktivitu
Přejít na aktivitu
Výběr skupiny
Cvičný test
Pár častých chyb v predikátové logice
Vzorový test PL
Z 1. Cvičení na rozmyšlení
DÚ1 2022 do CNF, zadan 6./7.10.2022
DU2 2022 nand
DU4 Patek: semantika struktury
DU5 Tablo pro PL
Náhradní, predikátová část
Témata pro aplikaci SAT solveru - Demo pro cvičící 2026
1. cvičení Formule, pravdivostní hodnota
2. cvičení CNF, DNF, logické důsledky a extenze
3. cvičení Rezoluce - stačí umět CNF, rezoluci vysvětlím
4. cvičení Tablo
5. cvičení Extenze, DPLL
Návrhy na SAT solver projekt
Témata pro aplikaci SAT solveru - úterý cvič. Vomlelová
Témata pro aplikaci SAT solveru - pátek cvič. Vomlelová
Náhradní, predikátová část ►