Kniha: Úvod do logiky pre informatikov; Autor: Kvasnička Vladimír; 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 ...
Historie cen
7. 9. 2022
22,59 €