Loogiline programmeerimine (2015)

Allikas: Kursused
Redaktsioon seisuga 3. september 2015, kell 10:56 kasutajalt Evelin (arutelu | kaastöö)
Mine navigeerimisribale Mine otsikasti

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

Praktikumides kasutame SWI-Prologi SWI-Prolog.

Eclipse plugin: Prolog Development Tool - PDT.

  • Installeerimise juhend: [1]
  • Kasutusjuhend: [2]

Lisamaterjalid