Sbírka řešených úloh z logiky pro informatiky

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	MRÁKOVÁ Eva POPELÍNSKÝ Lubomír
Rok publikování	2015
Druh	Učebnice
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Sbírka úloh z logiky pro informatiky obsahující podrobně komentovaná řešení. Úlohy jsou z oblasti výrokové a predikátové logiky a zahrnují mj. témata: reprezentace a klasifikace formulí, pravdivostní tabulky, normální formy, SAT, rezoluce, Prolog.
Související projekty:	Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia