Skriptá STU v Bratislave. Zobraziť viac
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... Zobraziť viac
"Cieľom tejto učebnice je poskytnúť študentom informatiky na Fakulte informatiky a informačných technológií STU ucelený text k prednáške "Matematická logika". Stáli sme pred neľahkou úlohou, ako vhodne vybrať obsah tejto prednášky, "... Zobraziť viac
"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 mimoriadne prudký rozvoj tak v teoretickej," ... Zobraziť viac
Cieľom tejto učebnice je poskytnúť študentom informatiky na Fakulte informatiky a informačných technológií STU ucelený text k prednáške "Algebra a diskrétna matematika"... Zobraziť viac
Obsah predkladanej knihy Umelá inteligencia a kognitívna veda III dokumentuje, že tieto vedné odbory našli pevné zakotvenie tak vo filozoficky, sociálnovedne, ako aj prírodovedne a informaticky orientovanej komunite pracovníkov, ... Zobraziť viac
