Sbírka řešených úloh z logiky pro informatiky
| Authors | |
|---|---|
| Year of publication | 2015 |
| Citation | |
| Description | This book contains collection of tasks from propositional and predicate logic including solutions. It is designed for a basic logic course mainly on Bachelor level. In addition to the basic problems of these two logical calculi this book also contains tasks on resolution method in propositional and predicate logic. |
| Related projects: |