Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 1. rida: | 1. rida: | ||
Ainekood: ITV0081<br> | Ainekood: ITV0081<br> | ||
Lektor: | Lektor: Tanel Tammet<br> | ||
[[ITV0081 arhiiv 2012]] | Kontakt: tanel.tammet@ttu.ee, 6203457, TTÜ AK223<br> | ||
Arhiiv: [[ITV0081 arhiiv 2012]] | |||
| 7. rida: | 8. rida: | ||
T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002. | T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002. | ||
== | == Esialgsed loengute materjalid (jooksvalt muudetakse) == | ||
# [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] <br> | # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] <br> | ||
# [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] <br> | # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] <br> | ||
| 21. rida: | 23. rida: | ||
# [[Mitteklassikalised loogikad.]] <br> | # [[Mitteklassikalised loogikad.]] <br> | ||
== | == Eelmise aasta kodused ülesanded tutvumiseks: 2013 muudetakse == | ||
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 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. | ||
| 38. rida: | 41. rida: | ||
[[Kohustuslik kodune ülesanne 2]] : tähtaeg 18.mai 2012 | [[Kohustuslik kodune ülesanne 2]] : tähtaeg 18.mai 2012 | ||
Redaktsioon: 28. jaanuar 2013, kell 18:42
Ainekood: ITV0081
Lektor: Tanel Tammet
Kontakt: tanel.tammet@ttu.ee, 6203457, TTÜ AK223
Arhiiv: ITV0081 arhiiv 2012
Soovitatav kirjandus:
T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.
Esialgsed loengute materjalid (jooksvalt muudetakse)
- Meeldetuletus lausearvutusest. (ppt)
- Meeldetuletus predikaatarvutusest. (ppt)
- Sekventsarvutus.
(24.veebruaril ära jäänud loengu asemel) - Tõestuseotsingu strateegiad.
- Unifitseerimine. (ppt)
- Sissejuhatus automaattõestamisse.
- Davis-Putnami meetod. (ppt)
- Resolutsioonimeetod lausearvutuses. (ppt)
- Resolutsioonimeetod predikaatarvutuses. (ppt).
- Resolutsioonistrateegiad. (ppt)
- Võrdusega predikaatarvutus. (ppt)
- Mitteklassikalised loogikad.
Eelmise aasta kodused ülesanded tutvumiseks: 2013 muudetakse
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
Kodused ülesanded 2: tähtaeg 23.märts 2012
Kodused ülesanded 3: tähtaeg 4.mai 201
Kohustuslik kodune ülesanne 1 : tähtaeg 20.aprill 2012
Kohustuslik kodune ülesanne 2 : tähtaeg 18.mai 2012