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 ...
Dostupnost:
kniha je nedostupná
511 Kč
i Webové stránky používají pro správné fungování soubory cookies. Více informací.