Kursplan för

Constraint-programmering
Constraint Programming

EDAN01, 7,5 högskolepoäng, A (Avancerad nivå)

Gäller för: Läsåret 2012/13
Beslutad av: Utbildningsnämnd 1
Beslutsdatum: 2012-03-19

Allmänna uppgifter

Valfri för: D4, D4-pv, F4, F4-pv, Pi4, Pi4-pv
Undervisningsspråk: Kursen ges på engelska

Syfte

Kursens syfte är att studenterna skall lära sig en ny programmeringsparadigm som baseras på villkorsteknik över finita domäner och att de skall få praktisk erfarenhet av användning av dessa metoder inom lösning av kombinatoriska problem.

Mål

Kunskap och förståelse
För godkänd kurs skall studenten

Färdighet och förmåga
För godkänd kurs skall studenten

Kursinnehåll

Kursens examination

Betygsskala: TH
Prestationsbedömning: För godkänt betyg krävs att tre obligatoriska laborationer och projektet har fullgjorts. För högre betyg krävs dessutom en skriftlig tentamen.

Antagningsuppgifter

Förkunskapskrav:

Begränsat antal platser: Nej
Kursen överlappar följande kurser: EDA340

Kurslitteratur

Kontaktinfo och övrigt

Kursansvarig: Professor Krzysztof Kuchcinski, Krzysztof.Kuchcinski@cs.lth.se
Hemsida: http://cs.lth.se/edan01
Övrig information: Kursen kan ges på svenska.