Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 8. rida: | 8. rida: | ||
# Sekventsarvutus. <br> | # Sekventsarvutus. <br> | ||
# [[Sissejuhatus automaattõestamisse.]] <br> | # [[Sissejuhatus automaattõestamisse.]] <br> | ||
##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses (ppt)]]<br> | ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]<br> | ||
##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod (ppt)]] <br> | ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] <br> | ||
# [[Tõestuseotsingu strateegiad.]] <br> | # [[Tõestuseotsingu strateegiad.]] <br> | ||
# [[Unifitseerimine.]] <br> | # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] <br> | ||
# Resolutsioonimeetod predikaatarvutuses. <br> | # Resolutsioonimeetod predikaatarvutuses. <br> | ||
Redaktsioon: 31. märts 2006, kell 17:06
Ainekood: ITV0800
Lektor: Tiina Zingel
Kontakt: tiina.zingel@ttu.ee
Loengute materjalid.
- Meeldetuletus lausearvutusest.
- Meeldetuletus predikaatarvutusest.
- Tuletussüsteemid.
- Sekventsarvutus.
- Sissejuhatus automaattõestamisse.
- Tõestuseotsingu strateegiad.
- Unifitseerimine. (ppt)
- Resolutsioonimeetod predikaatarvutuses.