Loogilise programmeerimise meetod
(Logic Programming Techniques)

MTAT.05.086
3 EAP
lektor Tõnu Tamme

• Loengud: N 12:15 Liivi 2-403 (paaris nädalad)
• Praktikumid: E 10:15, N 16:15 Liivi 2-203 (üle nädala)
• Küsimused: tonu.tamme at ut dot ee
• Aine koduleht
• Õpik

Programmeerimine keeles Prolog: faktid, reeglid ja päringud. Unifitseerimine ja resolutsioon. Aritmeetika ja listid. Keerdülesannete lahendamine. Prologi rakendused intellektitehnikas ja lingvistikas.

Materjalid ja testid: http://moodle.ut.ee

Arvestuseks on vaja koguda üks kahest:

• harjutusülesannete, lisaülesannete, testide ja loengute eest 55 punkti 80-st
• harjutusülesannete, lisaülesannete, testide, loengute ja kontrolltöö eest 61 punkti (kontrolltöö eest saab kuni 60 punkti).

Hindamine

• Kahe nädalaga saab koguda 10 punkti
• praktikumiülesanne: 4 p.
• lisaülesanne: 4 p.
• loeng: 1p.
• test: 1p.

Kodutööde (praktikumi- ja lisaülesannete) lahendamiseks on ette nähtud üks nädal. Lahenduste esitamine toimub Moodle'i kaudu. Hilinenud lahendused kaotavad 50% punktidest.

• Töö on esitatud õigeks ajaks: max 4p.
• Hilinenud lahendus: max 2p.

Testi lahendamiseks on ette nähtud üks nädal. Testid asuvad Moodle'is. Pärast tähtaja möödumist teste enam lahendada ei saa.