Skriptum je věnováno výkladu klasické logiky Obsahuje výrokovou a predikátovou logiku ze syntaktického i sémantického pohledu Důraz je kladen především na sémantický přístup s využitím sémantických stromů, rezoluční metody a Karnaughových map, což je vhodné zejména pro studenty informatiky Obsažen je též úvod do teorie Booleových algeber Matematická logika - Kateřina Trlifajová od authora Kateřina Trlifajová a nakladatelství za skvělé ceny na e-shopu Martinuscz
| Autor |
Kateřina Trlifajová |
| Jazyk |
český |
| Počet stran |
176 |
| Rok vydání |
2015 |
| Žánr |
naučná |
| Typ |
filmy |
| Nakladatelství |
CVUT Praha |
