Rakendusliku loogika süvakursus

Ainekood: ITV0081
Lektor: Tiina Zingel

Soovitatav kirjandus:

T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.

Loengute materjalid.

1. Meeldetuletus lausearvutusest. (ppt)
   
2. Meeldetuletus predikaatarvutusest. (ppt)
   
3. Tuletussüsteemid.
   
4. Sekventsarvutus.
   
5. Tõestuseotsingu strateegiad.
   
6. Sissejuhatus automaattõestamisse.
   
   1. Resolutsioonimeetod lausearvutuses. (ppt)
      
   2. Davis-Putnami meetod. (ppt)
      
7. Unifitseerimine. (ppt)
   
8. Resolutsioonimeetod predikaatarvutuses. (ppt).
   
9. Võrdusega predikaatarvutus. (ppt)
   
10. Resolutsioonistrateegiad. (ppt)
    
11. Mitteklassikalised loogikad.
    

Kodused ülesanded.

Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.

Kodused ülesanded 1 : Tähtaeg 17.02. kell 00.00 (enne 18. kuupäeva saabumist)

Kodused ülesanded 2 : Tähtaeg 3.märts kell 00.00

Kodused ülesanded 3 : Tähtaeg 17.märts kell 00.00

Kohustuslik kodune ülesanne 1 : Tähtaeg 14.aprill

Kohustuslik kodune ülesanne 2 : Tähtaeg 12.mai

Kontrolltöö.

Kontrolltöö toimub 14.mail kell 12 ruumis IT-137A. Ülesanded on samades valdkondades kui kodused tööd 1-3.

Eksam.

Eksamitöö koosneb kahest teoreetilisest punktist (vt Kordamisküsimused.).

Eksamiajad on järgmised:

25. mai kell 13-15 ruumis IT-137A

9. juuni kell 13-15 ruumis IT-137A

Kes soovib, võib eksamitöö kirjutada ka 14.mail peale kontrolltööd.