| 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: Patrick Lambrix
Examinator: Ulf Nilsson
Länk till kurshemsida på kursgivande institution
Ansvarig programnämnd: Data&Medie
Engelsk kursplan
Kursen bedrivs på ett sådant sätt att både mäns och kvinnors erfarenhet och kunskaper synliggörs och utvecklas.
Planering och genomförande av kurs skall utgå från kursplanens formuleringar. Den kursvärdering som ingår i kursen skall därför genomföras med kursplanen som utgångspunkt.
Om inget annat anges ovan gäller betygsskala enligt avsnitt a8.5 i de gemensamma bestämmelserna.
Kursplanen gäller för 2011 enligt beslut av ansvarig programnämnd/fakultetstyrelse.
 |
||||||
| ||||||