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

Varování

Publikace nespadá pod Ekonomicko-správní 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