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
24. rida: 24. rida:
[[Kordamisküsimused.]] <br>
[[Kordamisküsimused.]] <br>


[http://www.tud.ttu.ee/~zingel/Loogika/Näidis.doc Näidisülesanded] <br>
[http://www.tud.ttu.ee/~zingel/public_html/Loogika/Naidis.doc Näidisülesanded] <br>

Redaktsioon: 16. mai 2008, kell 15:45

Ainekood: ITV0800
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.

Eksam.

Kordamisküsimused.

Näidisülesanded

Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_süvakursus&oldid=2358"