Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 3. rida: | 3. rida: | ||
Kontakt: tiina.zingel@ttu.ee<br><br> | Kontakt: tiina.zingel@ttu.ee<br><br> | ||
==Loengute materjalid. == | ==Loengute materjalid. == | ||
# Meeldetuletus lausearvutusest. <br> | # [[Media:RakLoogika_7.ppt|Meeldetuletus lausearvutusest. (ppt)]] <br> | ||
# Meeldetuletus predikaatarvutusest. <br> | # Meeldetuletus predikaatarvutusest. <br> | ||
# Tuletussüsteemid. <br> | # Tuletussüsteemid. <br> | ||
Redaktsioon: 31. märts 2006, kell 17:35
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.