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

Výzva k předložení nabídky na veřejnou zakázku malého rozsahu

Výzva k předložení nabídky na veřejnou zakázku malého rozsahu

Tematické celky Nové informatiky

Tematické celky Nové informatiky

Přednáška

Přednáška

Petr Macek

Petr Macek

J A Z Y K O V Ě D N É A K T U A L I T Y

J A Z Y K O V Ě D N É A K T U A L I T Y

Brozany (aktuální číslo)

Brozany (aktuální číslo)

Školní vzdělávací program pro gymnaziální vzdělávání

Školní vzdělávací program pro gymnaziální vzdělávání

Predikátová logika

Predikátová logika

Taktika výslechu

Taktika výslechu

Převody problémů a NP

Převody problémů a NP

Úvod do matematické logiky

Úvod do matematické logiky

Y01MLO

Y01MLO

Výpočtová složitost I

Výpočtová složitost I

Základy matematické logiky – výroky, složené výroky a

Základy matematické logiky – výroky, složené výroky a

Způsoby hodnocení kvality života z pohledu pacienta

Způsoby hodnocení kvality života z pohledu pacienta

01_ Výroky.pdf

01_ Výroky.pdf

Deterministický chaos

Deterministický chaos

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

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

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

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

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

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

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

Slovo úvodem Proměnné a konstanty

Slovo úvodem Proměnné a konstanty