0

Knihy

Kategórie

Filter: Vladimír Kvasnička

Úvod do logiky pre informatikov
slovenský

Úvod do logiky pre informatikov

Vladimír Kvasnička - 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.

17,91 € Detail