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

Mráková,  Eva; Popelínský,  Lubomír

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

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Title in English	Introduction to Logic for Computer Science: Tasks and Solutions
Authors	MRÁKOVÁ Eva POPELÍNSKÝ Lubomír
Year of publication	2015
MU Faculty or unit	Faculty of Informatics
Citation
Description	A collection of tasks concerning propositional and predicate logic for computer science. Detailed solutions of the tasks are provided. Covered topics are: representation and classification of formulas, truth tables, normal forms, SAT, resolution, Prolog.
Related projects:	Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia