Rakendusliku loogika süvakursus

Allikas: Lambda
Redaktsioon seisuga 2. märts 2006, kell 00:39 kasutajalt Zingel (arutelu | kaastöö)
Mine navigeerimisribale Mine otsikasti

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