Autor Kateřina Trlifajová

Skriptum je věnováno výkladu klasické logiky. Obsahuje výrokovou a predikátovou logiku ze syntaktického i sémantického pohledu. Důraz je kladen především na sémantický přístup s využitím sémantických stromů, rezoluční metody a Karnaughových map, což…

Jak se pravda skrytě "děje" tam, kde se matematik, fyzik, archeolog, ekonom, biolog, filosof, historik umění či tvůrce uměleckého díla zabývá obvyklými předměty své činnosti, aniž přitom o pravdě samé výslovně přemýšlí? Tato otázka vykrystalizovala v…