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.
   
3. Tuletussüsteemid.
   
4. Sekventsarvutus.
   
5. Sissejuhatus automaattõestamisse.
   
   1. Resolutsioonimeetod lausearvutuses. (ppt)
      
   2. Davis-Putnami meetod. (ppt)
      
6. Tõestuseotsingu strateegiad.
   
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 lahevad arvesse eksamihindes.

Kodused ülesanded 1

Eksam.

Kordamisküsimused.

Näidisülesanded ja mõningad lahendused