Erinevus lehekülje "Loogiline programmeerimine (2015)" redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
52. rida: | 52. rida: | ||
==Loengud== | ==Loengud== | ||
* [[Media:ITI0021_Loeng 1_2015.pdf|Loeng 1]]: Mis on loogiline programmeerimine? | * [[Media:ITI0021_Loeng 1_2015.pdf|Loeng 1]]: Mis on loogiline programmeerimine? | ||
+ | <!-- | ||
* [[Media:ITI0021_lecture2_1_2014.pdf|Loeng 2-1]]: Alusmõisteid loogikast I: Lausearvutus | * [[Media:ITI0021_lecture2_1_2014.pdf|Loeng 2-1]]: Alusmõisteid loogikast I: Lausearvutus | ||
* [[Media:ITI0021_lecture2_2_2014.pdf|Loeng 2-2]]: Alusmõisteid loogikast II: Predikaatarvutus | * [[Media:ITI0021_lecture2_2_2014.pdf|Loeng 2-2]]: Alusmõisteid loogikast II: Predikaatarvutus | ||
66. rida: | 67. rida: | ||
* Järeltöö I (03.12.2014) | * Järeltöö I (03.12.2014) | ||
* Järeltöö II (10.12.2014) | * Järeltöö II (10.12.2014) | ||
+ | --> | ||
<!-- * Loeng 4: Test 1: Loogilise programmeerimise põhimõisted | <!-- * Loeng 4: Test 1: Loogilise programmeerimise põhimõisted | ||
84. rida: | 86. rida: | ||
** [[Media:ITI0021_Praktikum_1_juhend.pdf|Praktikumi 1 juhend]] | ** [[Media:ITI0021_Praktikum_1_juhend.pdf|Praktikumi 1 juhend]] | ||
** Näidismaterjal: [[Media:ITI0021_Praktikum_1.pdf|Objektid ja nende omadused]] | ** Näidismaterjal: [[Media:ITI0021_Praktikum_1.pdf|Objektid ja nende omadused]] | ||
+ | <!-- | ||
* Praktikum 2: Prologi teadmusbaasi koostamine | * Praktikum 2: Prologi teadmusbaasi koostamine | ||
** [[Media:ITI0021_Praktikum_2_juhend.pdf|Praktikumi 2 juhend]] | ** [[Media:ITI0021_Praktikum_2_juhend.pdf|Praktikumi 2 juhend]] | ||
120. rida: | 123. rida: | ||
** Programm [[Media:kabeprogramm.pl | Näidisprogramm]]<br> | ** Programm [[Media:kabeprogramm.pl | Näidisprogramm]]<br> | ||
'''Kodutöö esitamise tähtaeg on eelviimane ja viimane praktikum, mil toimub kabeturniir (programmikood panna moodle-sse)''' | '''Kodutöö esitamise tähtaeg on eelviimane ja viimane praktikum, mil toimub kabeturniir (programmikood panna moodle-sse)''' | ||
− | + | --> | |
==Lisamaterjalid== | ==Lisamaterjalid== | ||
* [http://www.learnprolognow.org/lpnpage.php?pageid=top Learn Prolog Now] | * [http://www.learnprolognow.org/lpnpage.php?pageid=top Learn Prolog Now] | ||
* [http://www.youtube.com/watch?v=09zlcS49zL0 Web Testing with Logic Programming - Daniel Gregoire] | * [http://www.youtube.com/watch?v=09zlcS49zL0 Web Testing with Logic Programming - Daniel Gregoire] |
Redaktsioon: 3. september 2015, kell 10:47
Ainekood: ITI0021
Link: http://courses.cs.ttu.ee/pages/ITI0021
Õppejõud: prof. Jüri Vain
Kontakt: juri.vain ätt ttu.ee, ICT-418, Vastuvõtu aeg: esmaspäeval kl. 16:00 - 17:00 eelneval kokkuleppel e-maili kaudu
Sügis 2015
- Loeng: Nejapäeval kl. 10:00 - 11:30 ruumis CYB - VEENUS (õppejõud prof. Jüri Vain)
- Praktikumid:
- Neljapäeval kl. 16:00-17:30 ruumis ICT-401 (õppejõud: prof. Jüri Vain, Gert Kanter) ja ruumis ICT-402 (õppejõud Evelin Halling)
- Reedel kl. 10:00-11:30 ruumis ICT-401 (õppejõud: Evelin Halling, Gert Kanter)
Hindamiskriteeriumid
- Hindelise arvestuse eelduseks on praktikumitööde (10 praktikumi), testide (10 testi) ja kodutöö esitamine ning kontrolltööde (3 kontrolltööd) sooritamine.
- Praktikumi- ja kodutööd tuleb panna GIT-i ja kaitsta praktikumi ajal TTÜ arvutiklassis. E-postiga saadetud töid ei arvestata.
- Praktikumi ülesanded: 10 tk - tähtaegselt esitatud ülesanne 1 p, pärast tähtaega 0 p (Kokku max: 10 p)
- Loengu kontrollküsimused (Moodle test): 10 tk - tähtaegselt esitatud ülesanne 1 p, pärast tähtaega 0 p (Kokku max: 10 p)
- Kodutöö - Kabe programmi programmeerimine - 10 p
- Võimalikud boonuspunktid
- Kontrolltööd (3 tk - kokku 70 p)
- Kontrolltöö 1 - põhimõisted 20 p
- Kontrolltöö 2 - rekursiooni programmeerimine 30 p
- Kontrolltöö 3 - teadmiste esitamine Prologis 20 p
- Järeltööd kontrolltöödele 1-3 toimuvad semestri viimaste loengute aegadel.
- Järeltööde sooritamise tingimused:
- Esimesel katsel tuleb teha järeltööd konkreetselt sellele tööle, mille tulemus oli alla 51%.
- Kui ka järeltöö ebaõnnestub, tuleb sooritada koondtöö kursuse kogu materjali peale.
- Arvestuse hinnet tõstab see, kui kodutööna valminud kabeprogramm saavutab viimase praktikumi ajal toimuval võistlusel I-III koha: I koht +3 punkti; II koht +2 punkti; III koht +1 punkt.
- Testide ja praktikumide jooksvad tulemused asuvad Moodles (ained.ttu.ee)
Loengud
- Loeng 1: Mis on loogiline programmeerimine?
Praktikumid
- Praktikum 1: Tutvumine loogilise programmeerimise keskkonnaga SWI-Prolog
- Praktikumi 1 juhend
- Näidismaterjal: Objektid ja nende omadused