Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 10. rida: | 10. rida: | ||
# [[Sekventsarvutus.]] <br> (24.veebruaril ära jäänud loengu asemel) | # [[Sekventsarvutus.]] <br> (24.veebruaril ära jäänud loengu asemel) | ||
# [[Tõestuseotsingu strateegiad.]] <br> | # [[Tõestuseotsingu strateegiad.]] <br> | ||
# [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] <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> | ||
# [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]<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> | ||
Redaktsioon: 12. märts 2012, kell 17:10
Ainekood: ITV0081
Lektor: Tiina Zingel
Soovitatav kirjandus:
T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.
Loengute materjalid.
- Meeldetuletus lausearvutusest. (ppt)
- Meeldetuletus predikaatarvutusest. (ppt)
- Sekventsarvutus.
(24.veebruaril ära jäänud loengu asemel) - Tõestuseotsingu strateegiad.
- Unifitseerimine. (ppt)
- Sissejuhatus automaattõestamisse.
- Resolutsioonimeetod predikaatarvutuses. (ppt).
- Võrdusega predikaatarvutus. (ppt)
- Resolutsioonistrateegiad. (ppt)
- Mitteklassikalised loogikad.
Kodused ülesanded.
Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.
Kodused ülesanded 1: tähtaeg 9.märts 2012
Kontrolltöö.
Eksam.
Eksamitöö koosneb kahest teoreetilisest punktist (vt Kordamisküsimused.).