Sbírka řešených úloh z logiky pro informatiky
| Autoři | |
|---|---|
| Rok publikování | 2015 |
| Druh | Učebnice |
| Citace | |
| Popis | Sbírka obsahuje úlohy z výrokové a predikátové logiky a jejich řešení. Je určená pro základní kurzy logiky především na bakalářském stupni. Kromě základních úloh z těchto dvou logických kalkulů sbírka obsahuje též příklady na rezoluční metody ve výrokové i v predikátové logice. |
| Související projekty: |