Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 12. rida: | 12. rida: | ||
# [[Tõestuseotsingu strateegiad.]] <br> | # [[Tõestuseotsingu strateegiad.]] <br> | ||
# [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] <br> | # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] <br> | ||
# Resolutsioonimeetod predikaatarvutuses. <br> | # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]<br> | ||
# [[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> | ||
Redaktsioon: 24. aprill 2006, kell 15:36
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)