Úvod do logiky pre informatikov
- Nakladatel
- IRIS, 2016
- Počet stran
- 198
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... Číst víc
- Kniha
- Slovenština
399 Kč
Posíláme ihned
Potřebujete poradit knihu?
Zeptejte se online knihkupce!
Proč nakupovat knihy na Martinus.cz?
- Máme více než 300 000 knih skladem
- Knihomolská záložka ke každému nákupu
- Více než 9 000 výdejních míst