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

Predikátová logika

Predikátová logika

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

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

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

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

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

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

4.2 Logický čtverec

4.2 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í)

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

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

O astrologii v rytmu celostnosti

O astrologii v rytmu celostnosti

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

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

České vysoké učení technické v Praze

České vysoké učení technické v Praze

3. Rezoluční metoda

3. Rezoluční metoda

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

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

Slovní úlohy na množiny - Web projektu Matematika s radostí

Slovní úlohy na množiny - Web projektu Matematika s radostí

Jednoduché programy v Prologu a jejich zpracování

Jednoduché programy v Prologu a jejich zpracování

Senior březen 2015 - Zuzana Holcmanová

Senior březen 2015 - Zuzana Holcmanová

Logické programování, PROLOG

Logické programování, PROLOG

Čert ví, kdy kotvy zvednem Čert ví, kdy kotvy zvednem

Čert ví, kdy kotvy zvednem Čert ví, kdy kotvy zvednem

Logika a formální sémantika: 7. Hyperintenzionální logika

Logika a formální sémantika: 7. Hyperintenzionální logika

(Outsider v hlavní roli)

(Outsider v hlavní roli)

formalizace a ověřování platnosti úsudků

formalizace a ověřování platnosti úsudků

Cvičení 13

Cvičení 13

Psychológia - akademiavyzivy.sk

Psychológia - akademiavyzivy.sk