Predikátová logika

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

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

Paralely ve vývoji logického myšlení žáka a v dějinách logiky

Paralely ve vývoji logického myšlení žáka a v dějinách logiky

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

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

rozwaga2-2013 - Solidarność Stoczni Gdańskiej

rozwaga2-2013 - Solidarność Stoczni Gdańskiej

PDF LQ

PDF LQ

Predikátová logika 1. řádu

Predikátová logika 1. řádu

VESTAVĚNÉ PREDIKÁTY JAZYKA PROLOG

VESTAVĚNÉ PREDIKÁTY JAZYKA PROLOG

Chudoba a naše moc

Chudoba a naše moc

Sekunda

Sekunda

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

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

O astrologii v rytmu celostnosti

O astrologii v rytmu celostnosti

Úkol č. 1

Úkol č. 1