4.2 Logický čtverec

5.2 Analýza vět, které nespadají pod logický čtverec

5.2 Analýza vět, které nespadají pod logický čtverec

ekvivalence a negace výroků logického čtverce formálně (cvičení)

ekvivalence a negace výroků logického čtverce formálně (cvičení)

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

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

ekvivalence a negace výroků logického čtverce formálně

ekvivalence a negace výroků logického čtverce formálně

5.1 Analýza vět, které nespadají pod logický čtverec

5.1 Analýza vět, které nespadají pod logický čtverec

Úvod do logiky (PL): logický čtverec

Úvod do logiky (PL): logický čtverec

Predikátová logika

Predikátová logika

01_ Výroky.pdf

01_ Výroky.pdf

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

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

VESTAVĚNÉ PREDIKÁTY JAZYKA PROLOG

VESTAVĚNÉ PREDIKÁTY JAZYKA PROLOG

Program akce

Program akce

3M hledá inovativní využití revolučního suchého

3M hledá inovativní využití revolučního suchého