PhDr. Milan Štefanko - IRIS

Úvod do logiky pre informatikov - Vladimír Kvasnička

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.

Product names and technical specifications are provided by merchants. Always confirm the exact variant in the merchant’s checkout.