Kniha je venovaná prezentácii moderných základov logiky pre potreby informatikov. V knihe sa prezentujú nielen základy klasickej logiky ale aj základné pojmy modálnej logiky s dôrazom na kripkeovskú, sémantickú interpretáciu pomocou susedných svetov. Úvod do logiky pre informatikov - Vladimír Kvasnička od authora Vladimír Kvasnička a nakladatelství za skvělé ceny na e-shopu Martinus. cz.
| Autor |
Vladimír Kvasnička |
| Jazyk |
slovenský |
| Počet stran |
198 |
| Rok vydání |
2016 |
| Žánr |
naučná |
| Typ |
filmy |
| Nakladatelství |
IRIS |
