Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
Zingel (arutelu | kaastöö)
127 muudatust
Resümee puudub
Zingel (arutelu | kaastöö)
127 muudatust
Resümee puudub
11. rida: 11. rida:
##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod (ppt)]] <br>
##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod (ppt)]] <br>
# [[Tõestuseotsingu strateegiad.]] <br>
# [[Tõestuseotsingu strateegiad.]] <br>
# Unifitseerimine. <br>
# [[Unifitseerimine.]] <br>
# Resolutsioonimeetod predikaatarvutuses. <br>
# Resolutsioonimeetod predikaatarvutuses. <br>

Redaktsioon: 31. märts 2006, kell 15:47

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.
Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_süvakursus&oldid=924"