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
Cvičení M. Vomlelové
Pár častých chyb v predikátové logice
Pár častých chyb v predikátové logice
Požadavky na absolvování
Označit jako hotovo
Klikněte na odkaz
vybraneChyby.pdf
pro zobrazení souboru.
◄ Cvičný test
Přejít na aktivitu
Přejít na aktivitu
Výběr skupiny
Cvičný test
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í, výroková část
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
Návrhy na SAT solver projekt
Vzorový test PL ►