Matematická logika

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

Newsletter aktuálního čísla

Newsletter aktuálního čísla

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

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

02 booleova algebra Size: 1.13mb Last modified

02 booleova algebra Size: 1.13mb Last modified

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

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

Úvod do logiky (VL): 10. Výrokově

Úvod do logiky (VL): 10. Výrokově

lekce 3: relevance

lekce 3: relevance

Přednáška 23. 2. 2016

Přednáška 23. 2. 2016

Predikátová logika

Predikátová logika

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

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

Müdürlüğümüzün konu ile ilgili 01/10/2014 tarih ve 4361514 sayılı

Müdürlüğümüzün konu ile ilgili 01/10/2014 tarih ve 4361514 sayılı

Matematická logika

Matematická logika