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

- jurajsabol.sk

- jurajsabol.sk

Tvorba ICT plánu

Tvorba ICT plánu

ověřování platnosti úsudků sémantickou metodou protipříkladu

ověřování platnosti úsudků sémantickou metodou protipříkladu

lekce 2

lekce 2

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

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

Výroková logika

Výroková logika

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

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

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

Pravidlové programování (PP) – sylabus Obsah a cíl předmětu

Pravidlové programování (PP) – sylabus Obsah a cíl předmětu