Publication details
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 |
| MU Faculty or unit | |
| 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: |