Rakendusliku loogika süvakursus: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 1. rida: | 1. rida: | ||
Ainekood: | Ainekood: ITV0081<br> | ||
Lektor: Tiina Zingel<br> | Lektor: Tiina Zingel<br> | ||
| 19. rida: | 19. rida: | ||
# [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]<br> | # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]<br> | ||
# [[Mitteklassikalised loogikad.]] <br> | # [[Mitteklassikalised loogikad.]] <br> | ||
==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 lahevad arvesse eksamihindes. | |||
Kodused ülesanded 1 | |||
==Eksam.== | ==Eksam.== | ||
Redaktsioon: 5. veebruar 2010, kell 16:41
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.
- Tuletussüsteemid.
- Sekventsarvutus.
- Sissejuhatus automaattõestamisse.
- Tõestuseotsingu strateegiad.
- 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 lahevad arvesse eksamihindes.
Kodused ülesanded 1
Eksam.
Näidisülesanded ja mõningad lahendused