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ť viacJan Hendl, Martin Moldan, Jakub Siegl
Univerzita Karlova 2021 23,10 €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.