Publikácie zamerané na osobnostný rast, motiváciu a sebazdokonaľovanie. Pre čitateľov hľadajúcich inšpiráciu a praktické rady do života.
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.
Hľadáte konkrétny titul?
Použite vyhľadávacie pole na vrchu stránky!
Publikácie zamerané na osobnostný rast, motiváciu a sebazdokonaľovanie. Pre čitateľov hľadajúcich inšpiráciu a praktické rady do života.