Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 14. rida: | 14. rida: | ||
# Resolutsioonimeetod predikaatarvutuses. <br> | # Resolutsioonimeetod predikaatarvutuses. <br> | ||
# [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]<br> | # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]<br> | ||
# Resolutsioonistrateegiad. <br> | # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]<br> | ||
Redaktsioon: 24. aprill 2006, kell 15:15
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.
- Võrdusega predikaatarvutus. (ppt)
- Resolutsioonistrateegiad. (ppt)