Autor: Vladimír Kvasnička
Vydavateľstvo: PhDr. Milan Štefanko - IRIS 2016
EAN: 9788081530593
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.
čítať viacZatiaľ ste si u nás nepozreli iné produkty.
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.
