Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
|||
| 23. rida: | 23. rida: | ||
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. | ||
[[Kodused ülesanded 1]] | [[Kodused ülesanded 1]] | ||
[http://elrond.tud.ttu.ee/~zingel/RLS2.pdf Kodused ülesanded 2] | [http://elrond.tud.ttu.ee/~zingel/RLS2.pdf Kodused ülesanded 2] | ||
[http://elrond.tud.ttu.ee/~zingel/RLS3.pdf Kodused ülesanded 3] | [http://elrond.tud.ttu.ee/~zingel/RLS3.pdf Kodused ülesanded 3] | ||
[[Kohustuslik kodune ülesanne]] 1 | [[Kohustuslik kodune ülesanne]] 1 | ||
[[Kohustuslik kodune ülesanne 2]] | [[Kohustuslik kodune ülesanne 2]] | ||
==Kontrolltöö.== | ==Kontrolltöö.== | ||
Redaktsioon: 8. veebruar 2012, kell 16:30
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)
- Tuletussüsteemid.
- Sekventsarvutus.
- Tõestuseotsingu strateegiad.
- Sissejuhatus automaattõestamisse.
- Unifitseerimine. (ppt)
- 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.
Kontrolltöö.
Eksam.
Eksamitöö koosneb kahest teoreetilisest punktist (vt Kordamisküsimused.).