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ú... Čítať ďalej
Umelá inteligencia a kognitívna veda spolu, ktoré tvoria úzko previazaný komplex vied zaoberajúcich sa riešením zložitých problémov ľudskej mysle, zaznamenali v priebehu ostatných 10-20 rokov... Čítať ďalej
