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: aeg täpsustub, veebis
| Nädal | Kuupäev | Teema |
| 1. | 11.02 | Tõestusmeetodite kordamine |
| 2. | 18.02 | Matemaatiline induktsioon |
| 3. | 25.02 | Loomulik tuletus |
| 4. | 4.03 | Hilberti-tüüpi tuletus |
| 5. | 11.03 | Tuletussüsteemide korrektsus ja täielikkus |
| 6. | 18.03 | ESIMENE KONTROLLTÖÖ |
| 7. | 25.03 | Herbrandi teooria |
| 8. | 1.04 | Resolutsioonimeetod |
| 9. | 8.04 | Resolutsioonimeetodi omadused |
| 10. | 15.04 | Programmeerimiskeel Prolog |
| 11. | 22.04 | TEINE KONTROLLTÖÖ |
| 12. | 29.04 | Modaalloogika |
| 13. | 6.05 | Ajaloogika |
| 14. | 13.05 | Hoare'i loogika |
| 15. | 20.05 | Muud programmiloogikad |
| 16. | 27.05 | KOLMAS KONTROLLTÖÖ |
| 17. | juunis | PROJEKTIESITLUSTE SESSIOON |
Kõiki kontrolltöid saab järele teha; aeg lepitakse kokku eraldi.
Hindamine
| Aeg | Max | Min | Märkus | Tähtaeg | |
|---|---|---|---|---|---|
| Testid | 1.-16. nädal | 7 | Testid+kodutööd ≥ 9 | 16 testi, igaüks 0,5 punkti | Enne iga tundi |
| Kodutööd | 1.-15. nädal | 11 | 13 kodutööd, igaüks 1 punkt | Enne iga tundi | |
| Praktikumitööd | 1.-15. nädal | 11 | 13 praktikumitööd, igaüks 1 punkt | Pärast iga tundi | |
| Kontrolltööd | 6., 11. ja 16. nädal | 63 | Testiosad arvestatud | Arvestuslik test + ülesanded 21 p | |
| Projekt | 7.-17. nädal | 8 | 4 | juunis | |
| Lisaülesanded | 10 | semestri sees |
- Praktikumile eelneva töö (test + koduülesanded) eest punktide saamiseks tuleb töö esitada Moodle'i kaudu hiljemalt teisipäeva õhtul kell 23:59 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.
Kokku on võimalik saada kuni 100 punkti põhitegevustest ja kuni 10 punkti lisaülesannetest. Lisaülesanded ei asenda minimaalseid alampiire, aga nad lähevad arvesse aine kogusummasse.
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 8-10 tundi õppimist nädalas. See haarab nii ettevalmistust, auditoorset tööd kui ka iseseisvat õpet.
Küsimuste korral palun kirjuta need Moodle'is nädala küsimustevahendisse või aine foorumisse, tule konsultatsiooni 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)