Rakendusliku loogika süvakursus

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

Loengute materjalid.

1. Meeldetuletus lausearvutusest.
   
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.
   
8. Resolutsioonimeetod predikaatarvutuses.