Rakendusliku loogika süvakursus

Ainekood: ITV0800
Lektor: Tiina Zingel
Kontakt: tiina.zingel@ttu.ee

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.
   
9. Võrdusega predikaatarvutus. (ppt)
   
10. Resolutsioonistrateegiad.