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

Predikátová logika

Predikátová logika

MODELOVÁNÍ TĚLES

MODELOVÁNÍ TĚLES

Úkol č. 1

Úkol č. 1

Přípravný kurs_Kat.ped_.FFUK_2

Přípravný kurs_Kat.ped_.FFUK_2

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

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

obsah karet pro mp

obsah karet pro mp

Predikátová logika 1. řádu

Predikátová logika 1. řádu

seminární text

seminární text

Podklady k přednáškám

Podklady k přednáškám

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

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

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

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

Logika a formální sémantika: 9. Teorie reprezentace diskurzu a

Logika a formální sémantika: 9. Teorie reprezentace diskurzu a