Kateřina Trlifajová (2 knihy)
-
Kateřina Trlifajová Matematická logika CZ
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ž je vhodné zejména pro studenty informatiky. Obsažen je též úvod do teorie Booleových algeber.
Detail -
Kateřina Trlifajová, Jan Frei Spor o pravdu CZ
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 mezioborové rozpravě v Centru pro teoretická studia zaměřené zprvu na problém, nakolik lze přes hranice disciplín sdílet kritéria relevance, ověřitelnosti a vědeckosti,…
Detail