| TDDD08 |
Logikprogrammering, 6 hp
/Logic Programming/
För:
CS
D
DAV
IT
MMAT
U
|
| |
Prel. schemalagd
tid: 48
Rek. självstudietid: 112
|
| |
Utbildningsområde: Teknik
Huvudområde: Datateknik, Datavetenskap, Informationsteknologi Nivå (G1,G2,A): A
|
| |
Datavetenskap Datavetenskap, datalogi.
|
| |
Mål:
IUAE-matris
Vid kursens slut skall den studerande uppvisa fördjupad förståelse av grundläggande logiska begrepp samt dess koppling och tillämpning i programmeringssammanhang. Vidare ska den studerande uppvisa färdigheter i logik- och villkorsprogrammering i programmeringsspråket Prolog, samt förmåga att tänka, och lösa problem på ett deklarativt sätt.
|
| |
Förkunskaper: (gäller studerande antagna till program som kursen ges inom, se 'För:' ovan)
Grundläggande kurser i diskret matematik och logik samt någon kurs i grundläggande programmering.
OBS! Tillträdeskrav för icke programstudenter omfattar vanligen också tillträdeskrav för programmet och ev. tröskelkrav för progression inom programmet, eller motsvarande.
|
| |
Organisation:
De teoretiska grunderna gås igenom på föreläsningar och övas på lektioner. På laborationerna demonstreras färdigheter i logik- och villkorsprogrammering i språket Prolog.
|
| |
Kursinnehåll:
Logik, logikprogram, deklarativ och operationell semantik, negation, Prolog, "cut", logik och databaser, logik och grammatiker, sökning och constraint logic programming.
|
| |
Kurslitteratur:
Nilsson, U., Maluszynski, J.: Logic, Programming and Prolog , John Wiley & Sons Ltd, 1995 (second edition).
Laborationsmaterial, utges av Institutionen för datavetenskap.
|
| |
Examination: |
TEN1
LAB1
|
En skriftlig tentamen (U,3,4,5)
En laborationskurs (U,G)
|
4 hp
2 hp
|
| |
|
|
|