Loogiline programmeerimine (2014)

Teated 2014

• Loeng: Kolmapäeval kl. 14:00 - 15:30 CYB - VEENUS
• Kodutöö 2013
  • Kodutööks on kabeprogrammi programmeerimine. Infot vt. allpoolt.
  • Kodutöö esitamise tähtaeg on eelviimane (10.-11. dets) ja viimane (17.-18. dets) praktikum, mil toimub turniir esitatud kabeprogrammide vahel. Pärast turniiride lõppu ei ole kodutööd enam võimalik esitada.

Hindamiskriteeriumid

• Hindelise arvestuse eelduseks on praktikumitööde ja kodutöö esitamine ning koondhindeks on testide keskhinne.
• Praktikumi- ja kodutööd tuleb esitada Moodle's ja kaitsta praktikumi ajal TTÜ arvutiklassis. Ainult e-postiga saadetud töid ei arvestata.
• Arvestusel osalemine ei ole kohustuslik nendele, kes on edukalt kaitsnud praktikumitööd ja kodutöö ning sooritanud 3 testi igaüks tulemusega 60% ja enam.
• Järeltööd testidele 1-3 toimuvad semestri viimaste loengute aegadel.
• Järeltööde sooritamise tingimused:
  • Esimesel katsel tuleb teha järeltööd konkreetselt nendele testidele, mille tulemus oli alla 60%.
  • 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 palli; II koht +2 palli; III koht +1pall.
    • Tulemused:

• Konsultatsioon: -
• Hindeline arvestus:
  • 9.jaanuar 2014 kell 10.00, ruum ICT-411
  • 16.jaanuar 2014 kell 10.00, ruum ICT-411
• Testide ja praktikumide jooksvad tulemused asuvad Moodles.

Loengud

• Mis on loogiline programmeerimine?
• Alusmõisteid loogikast I: Lausearvutus
• Alusmõisteid loogikast II: Predikaatarvutus
• Resolutsioon ja unifitseerimine
• Loeng 4: Test 1: Loogilise programmeerimise põhimõisted
• Loogilise programmeerimise keel Prolog
• Loogilise programmeerimise andmestruktuurid
• Hulgateooria ja algebra mõistete programmeerimine Prologis
• DCG grammatika reeglid ja loomuliku keele parsimine
• Loeng 9: Listioperatsioonide programmeerimine rekursiooni abil (harjutus Test2-ks)
• Loeng 10: Test 2: Listioperatsioonide programmeerimine rekursiooni abil
• Predikaat- ja temporaalloogika valemite interpreteerimine
• Prologi integreerimine teiste programmeerimiskeelte ja keskkondadega
• Kitsendustega loogiline programmeerimine
• Loeng 14: Test 3: Loengute 6-8,11-13 materjal
• Loeng 15: Testide 1 ja 2 järeltööd
• Loeng 16: Koondjäreltöö

Lisamaterjalid

• Learn Prolog Now
• Web Testing with Logic Programming - Daniel Gregoire