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.
Enne iga praktikumi tööta läbi õppematerjal, lahenda ära Moodle'i test ning lahenda teema ettevalmistavad ülesanded. koduülesanded. Pärast praktikumi lahenda ära teema jätkuülesanded.
Ajakava
- Praktikum: . ... : ... - ... : ... Delta ...., Danel Ahman
- Konsultatsioon: . ... : ..., veebis
- Aine pealeht Moodle'is: https://moodle.ut.ee/course/view.php?id=13254
| Nädal | Kuupäev | Teema |
| 1. | 12.02 | Tõestusmeetodite kordamine |
| 2. | 19.02 | Matemaatiline induktsioon |
| 3. | 26.02 | Loomulik tuletus |
| 4. | 05.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. | 02.04 | Resolutsioonimeetod |
| 9. | 09.04 | Resolutsioonimeetodi omadused |
| 10. | 16.04 | Programmeerimiskeel Prolog |
| 11. | 23.04 | TEINE KONTROLLTÖÖ |
| 12. | 30.04 | Modaalloogika |
| 13. | 07.05 | Ajaloogika |
| 14. | 14.05 | Hoare'i loogika |
| 15. | 21.05 | Muud programmiloogikad |
| 16. | 28.05 | KOLMAS KONTROLLTÖÖ |
| 17. | juunis | Projektiesitluste sessioon |
Kumbagi kontrolltööd saab järele teha; aeg lepitakse kokku eraldi.
Hindamine
| Kestus | 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 |
- 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ööde testide arvestuse saamiseks peab vastustest olema selgesti näha asjast arusaamine.
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 tagasisidet vaadata Moodle'ist.
Töö korraldus
Keskmine töömaht aines on 6-10 tundi õppimist nädalas.
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)