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