Úvod do logiky (VL): 7. Ekvivalentní transformace

4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou

4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou

Poznávací schopnosti a funkce

Poznávací schopnosti a funkce

JAK CVIČIT CVIKY Z KRUHOVÉHO TRÉNINKU

JAK CVIČIT CVIKY Z KRUHOVÉHO TRÉNINKU

Logika a formální sémantika: 3. Teorie modelů a sémantika

Logika a formální sémantika: 3. Teorie modelů a sémantika

7.3 Negace a ekvivalence formulí, které nespadají pod logický čtverec

7.3 Negace a ekvivalence formulí, které nespadají pod logický čtverec

Úvod do logiky (VL): 6. Vybrané tautologie

Úvod do logiky (VL): 6. Vybrané tautologie

Matematická logika

Matematická logika

9. Úplná disjunktivní / konjunktivní normální forma a její minimalizace

9. Úplná disjunktivní / konjunktivní normální forma a její minimalizace

Zbierka úloh z VÝROKOVEJ LOGIKY

Zbierka úloh z VÝROKOVEJ LOGIKY

Matematická logika

Matematická logika

11. Ověřování, zda je formule tautologií metodou protipříkladu

11. Ověřování, zda je formule tautologií metodou protipříkladu

riadenie rizík operačného systému

riadenie rizík operačného systému

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

VYBRANÉ ZÁKONY VÝROKOVÉ LOGIKY

VYBRANÉ ZÁKONY VÝROKOVÉ LOGIKY

08 - Matematická morfologie

08 - Matematická morfologie