Úvod do logiky pre informatikov
od Vladimír Kvasnička z vydavateľstva PhDr. Milan Štefanko - IRIS 2016 
Úvod do logiky pre informatikov
od Vladimír Kvasnička z vydavateľstva PhDr. Milan Štefanko - IRIS 2016
| Autor: | Vladimír Kvasnička |
| Vydavateľstvo: | PhDr. Milan Štefanko - IRIS |
| Rok vydania: | 2016 |
| EAN: | 9788081530593 |
| Počet strán: | 190 |
| Typ tovaru: | Brožovaná väzba |
| Jazyk: | slovenský |
| Rozmery: | 205x290 mm |
| Žáner: | Rozvoj osobnosti, logika |
Viac o knihe Úvod do logiky pre informatikov (Vladimír Kvasnička)
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.
