Kurset Logiske Systemer og Logikprogrammering
er et specialiseringskursus under
teknologisk linjefag/retningsspecifikke fag.
Kurset giver en indføring i beskrivelses- og programmeringsformer, der er
deklarative (dvs. beskriver regler
og egenskaber ved problemstillingen) snarere end procedurale
(dvs. angiver trinvise fremgangsmåder til løsning af problemet) som
fx. C eller Java.
Denne tilgangsvinkel danner basis for anvendelser inden for bl.a.
programanalyse og kunstig intelligens.
Som en del af kurset gennemgås et konkret sprog inden for
logikprogrammering (Prolog). Desuden gives en introduktion til
forskellige former for logik af datalogisk relevans.
Kurset består af forelæsninger, øvelser og en afsluttede skriftlig
eksamen.
Kurset er på 5 ECTS point og bør tages på 5. semester.
Studiehåndbog: 02156 Logiske Systemer og Logikprogrammering
