Košík
zboží
(prázdné)
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.
číst celé
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.
schovat popis
- Nakladatel: PhDr. Milan Štefanko - IRIS
- Kód:
- Rok vydání: 2016
- Jazyk: Slovenština
- Vazba: Brožovaná
- Počet stran: 190
- Šířka balení: 20.5 cm
- Výška balení: 29 cm
- Hloubka balení: 1.1 cm
- Váha balení: 520 g
Recenze