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

Úvod do logiky (VL): 14. Důkazové systémy

Úvod do logiky (VL): 14. Důkazové systémy

Minimalizácia vyjadrenia b-funkcií- QMC

Minimalizácia vyjadrenia b-funkcií- QMC

Matematická logika

Matematická logika

Metodika den s dopravní výchovou 7. třída

Metodika den s dopravní výchovou 7. třída

5 MINIMALIZÁCIA VYJADRENIA B

5 MINIMALIZÁCIA VYJADRENIA B

VÝROKOVÁ LOGIKA (pokračování)

VÝROKOVÁ LOGIKA (pokračování)

PŘEDPIS K ZÁPISŮM DO CÍRKEVNÍCH MATRIK

PŘEDPIS K ZÁPISŮM DO CÍRKEVNÍCH MATRIK

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

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

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

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

Trochu obšírnìjší výklad

Trochu obšírnìjší výklad

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

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

Úvod do denotační sémantiky a teorie kategorií

Úvod do denotační sémantiky a teorie kategorií