Kursuseprogramm–>
TULEMUSED!! (uuendatud 16.01.2015, var 3 andsis paljudele 1 punkti juurde)
–>
Sissejuhatus. Jaotusmaterjal–>
(Slaidid–>)
Praktikum 1, ülesanne–>
Hulgad ja elemendid. Osa I. Jaotusmaterjal–>
(Slaidid–>)
Hulgad ja elemendid. Osa II. Jaotusmaterjal–>
(Slaidid–>)
Elementaartehetega seotud olulisemad võrdused, omadused ja Venn’i diagrammid (P. Lorents. “Hulgad, valemid, algoritmid”. Lisa 2) –>
Lõplikud ja lõpmatud hulgad. Jaotusmaterjal–>
(Slaidid–>)
Sidumid ja seosed. Jaotusmaterjal–>
(Slaidid–>)
Binaarsete seoste olulised omadused.
Jaotusmaterjal–>
(Slaidid–>)
Süsteemid.
Jaotusmaterjal–>
(Slaidid–>)
Süsteemide selitamine, sarnasus, modelleeriimine.
Jaotusmaterjal–>
(Slaidid–>)
Süsteemide selitamise näide. –>
SR-meta-procedure–>
KONTROLTÖÖ NR 1 Näidisvariant
–>
Aeg, kui süsteem. Ajast olenevad süsteemid ja simuleerimine.
Jaotusmaterjal–>
(Slaidid–>)
Praktikum –>
Konstruktsioonid süsteemides.
Jaotusmaterjal–>
(Slaidid–>)
Loogilised konstruktsioonid. Lausete arvutuse tase.
Jaotusmaterjal–>
(Slaidid–>)
Konstruktsioonid ja algoritmid.
–>
Teadmised, andmed, informatsioon.
Jaotusmaterjal–>
(Slaidid–>)
Opereerimine teadmistega ja intellekt.
Jaotusmaterjal–>
(Slaidid–>)
Intellekt ja loogika.
Jaotusmaterjal–>
(Slaidid–>)
Resolutsiooni meetod.
(Slaidid–>)
DST- dialoogsüsteem tekstide transformeerimiseks predikaatloogika valemiteks.
Jaotusmaterjal–>
(Slaidid–>)
Watson. A System Designed for Answers.
–>
CoCoViLa. Model-Based Software Development Platform.
–>
KONTROLTÖÖ NR 2 Näidisvariant
–>
Intelligentsed süsteemid ja neid vajavad valdkonnad.
Jaotusmaterjal–>
(Slaidid–>)
Introduction to Logic by Michael Genesereth (STANFORD)–>
|
