Informace o publikaci
Sbírka řešených úloh z logiky pro informatiky
| Autoři | |
|---|---|
| Rok publikování | 2015 |
| Druh | Učebnice |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | Sbírka úloh z logiky pro informatiky obsahující podrobně komentovaná řešení. Úlohy jsou z oblasti výrokové a predikátové logiky a zahrnují mj. témata: reprezentace a klasifikace formulí, pravdivostní tabulky, normální formy, SAT, rezoluce, Prolog. |
| Související projekty: |