Loogika arvutiteaduses
Aine eesmärk on anda ülevaade olulisematest loogikatest, mida kasutatakse arvutiteaduses ja väljaspool seda. Tutvume meetoditega, mille abil konstrueeritakse loogilisi arutlusi programmide ja süsteemide kohta ning uuritakse nende käitumist. Käsitleme järgmisi teemasid: tuletussüsteemid, resolutsioonimeetod ja mitteklassikalised loogikad. Kohustuslikke eeldusaineid ei ole, aga eeldatakse ettekujutust lause- ja predikaatarvutusest.
Enne iga praktikumi tööta läbi õppematerjal, lahenda ära Moodle'i test ning lahenda teema ettevalmistavad ülesanded. Pärast praktikumi lahenda ära teema jätkuülesanded.
Ajakava
- Praktikum: K 14:15-15:45 Delta 1019, Danel Ahman
- Konsultatsioon: E 11:00, veebis
| Nädal | Kuupäev | Teema |
| 1. | 12.02 | Tõestusmeetodite kordamine |
| 2. | 19.02 | Matemaatiline induktsioon |
| 3. | 26.02 | Loomulik tuletus |
| 4. | 5.03 | Hilberti-tüüpi tuletus |
| 5. | 12.03 | Tuletussüsteemide korrektsus ja täielikkus |
| 6. | 19.03 | ESIMENE KONTROLLTÖÖ |
| 7. | 26.03 | Herbrandi teooria |
| 8. | 2.04 | Resolutsioonimeetod |
| 9. | 9.04 | Resolutsioonimeetodi omadused |
| 10. | 16.04 | Programmeerimiskeel Prolog |
| 11. | 23.04 | TEINE KONTROLLTÖÖ |
| 12. | 30.04 | Modaalloogika |
| 13. | 7.05 | Ajaloogika |
| 14. | 14.05 | Hoare'i loogika |
| 15. | 21.05 | Muud programmiloogikad |
| 16. | 28.05 | KOLMAS KONTROLLTÖÖ |
| 17. | 4.06 / 11.06 | Projektiesitluste sessioon |
Kõiki kontrolltöid saab järele teha; aeg lepitakse kokku eraldi.
Hindamine
| Aeg | Max | Min | Märkus | Tähtaeg | |
| Testid + koduülesanded | 1.-16. nädal | 14 | 7 | 0,5+0,5 punkti nädala kohta | Enne iga tundi |
| Praktikumitööd | 1.-16. nädal | 6 | 0,5 punkti nädala kohta | Pärast iga tundi | |
| Esimene kontrolltöö | 6. nädal | 20 | Test arvestatud | Test + ülesanded | |
| Teine kontrolltöö | 11. nädal | 20 | Test arvestatud | Test + ülesanded | |
| Kolmas kontrolltöö | 16. nädal | 30 | Test arvestatud | Test + ülesanded | |
| Uurimisprojekt | 7.-17. nädal | 10 | 5 | juunis | |
| Lisaülesanded | 10 | semestri sees |
- Praktikumile eelneva töö (test + koduülesanded) eest punktide saamiseks tuleb töö esitada Moodle'i kaudu hiljemalt kolmapäeva hommikul kell 8:00 enne vastavat praktikumi. Kodutöö hindamisel arvestatakse eeskätt tehtud pingutust ja seejärel lahenduse korrektsust.
- Praktikumitöö eest punktide saamiseks peab olema nähtav aktiivne tegutsemine ja enda panus; esitamine sulgub reede õhtul.
- Kontrolltööd toimuvad paberil. Kontrolltööde testide arvestuse saamiseks peab vastustest olema selgesti näha asjast arusaamine. Test tuleb lahendada ilma materjale kasutamata, ülesannete osas võib kasutada isiklikke materjale.
Aines positiivse hinde saamiseks peavad kõik alampiirid olema täidetud.
Hindeskaala: A ≥ 90, B ≥ 80, C ≥ 70, D ≥ 60, E ≥ 50, F < 50.
Semestri jooksul saad oma punkte ja tööde tagasisidet vaadata Moodle'ist.
Töö korraldus
Keskmine töömaht aines on 6-10 tundi õppimist nädalas. See haarab nii ettevalmistust, auditoorset tööd kui ka iseseisvat õpet.
Küsimuste korral palun kirjuta aine foorumisse Moodle'is või küsi juhendajalt:
- Reimo Palm - reimo.palm at ut.ee
- Danel Ahman - danel.ahman at ut.ee
Kaasaaitajad:
- Kristo Väljako (osad kirjalikud materjalid)