Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 15. rida: | 15. rida: | ||
# [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]<br> | # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]<br> | ||
# [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]<br> | # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]<br> | ||
# [[Mitteklassikalised loogikad.]] <br> | |||
Redaktsioon: 11. mai 2006, kell 14:40
Ainekood: ITV0800
Lektor: Tiina Zingel
Kontakt: tiina.zingel@ttu.ee
Loengute materjalid.
- Meeldetuletus lausearvutusest. (ppt)
- Meeldetuletus predikaatarvutusest.
- Tuletussüsteemid.
- Sekventsarvutus.
- Sissejuhatus automaattõestamisse.
- Tõestuseotsingu strateegiad.
- Unifitseerimine. (ppt)
- Resolutsioonimeetod predikaatarvutuses. (ppt).
- Võrdusega predikaatarvutus. (ppt)
- Resolutsioonistrateegiad. (ppt)
- Mitteklassikalised loogikad.