| TDDD08 |
Logikprogrammering, 4 p
/
6 hp
/Logic Programming/ |
||
Prel. schemalagd
tid: 48 |
|||
|
Utbildningsområde: Teknik Ämnesgrupp: Datalogi, Datateknik Nivå (A-D):D 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 |
|
Undervisningsspråk är Svenska/engelska.
Institution: IDA.
Studierektor: Tommy Färnqvist
Examinator: Ulf Nilsson
Länk till kurshemsida på kursgivande institution
Ansvarig programnämnd: Data&Medie
Engelsk kursplan
 |
||||||
| ||||||