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

Kohustuslik kodune ülesanne 1

Kohustuslik kodune ülesanne 2

Kontrolltöö.

Kontrolltöö tulemused

Eksam.

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

Tulemused