Sbírka řešených úloh z logiky pro informatiky
Title in English | Introduction to Logic for Computer Science: Tasks and Solutions |
---|---|
Authors | |
Year of publication | 2015 |
Type | Textbook |
MU Faculty or unit | |
Citation | MRÁKOVÁ, Eva and Lubomír POPELÍNSKÝ. Sbírka řešených úloh z logiky pro informatiky (Introduction to Logic for Computer Science: Tasks and Solutions). Vydání první. Brno: Masarykova univerzita, 2015, 82 pp. ISBN 978-80-210-7843-7. |
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: |