TDDD08 · 6 hp · Avancerad nivå (A1N) · Informationsteknologi, Datateknik, Datavetenskap
Logikprogrammering
Ges · nästa start HT 2026
53 %
klarade senaste ordinarie tentan
TEN1 · 29 okt 2025 · 38 studenter
55 %
klarade ordinarie tentorna, alla tillfällen de senaste 5 åren
TEN1 · 130 studenter
95 %
Svårare än 95 % av kurserna på avancerad nivå
Jämfört med 285 kurser på samma nivå, ordinarie tentor de senaste tre läsåren. 62 studenter.
Ingår i 7 program
Tentamen
TEN1 Skriftlig tentamen
- 5
- 4
- 3
- U
Ordinarie tentor
55 % godkända · 130 studenter
- 53 %38
- 58 %24
- 60 %30
- 37 %19
- 63 %19
Omtentor
44 % godkända · 34 studenter
- 43 %7
- 75 %8
- 22 %9
- 40 %10
- Klarar omtentan: 44 % (34 studenter), jämfört med 55 % (130 studenter) på ordinarie
- Får 4 eller 5: 19 % (164 studenter)
Visa små tillfällen (5)
Tillfällen med färre än 5 studenter, ofta tillgodoräknanden eller specialtillfällen. De ingår inte i någon siffra på sidan.
- 50 %2
- 0 %1
- 100 %2
- 33 %3
- 100 %3
Övriga moment
Deltentor, inlämningar och laborationer. De ingår inte i siffrorna överst.
Inlämning eller laboration
LAB1 Laborationskurs
- G
Ordinarie tillfällen
100 % godkända · 111 studenter
- 100 %34
- 100 %20
- 100 %22
- 100 %14
- 100 %21
Senare tillfällen
Inga tillfällen med minst 5 studenter.
Visa små tillfällen (8)
Tillfällen med färre än 5 studenter, ofta tillgodoräknanden eller specialtillfällen. De ingår inte i någon siffra på sidan.
- 100 %2
- 100 %1
- 100 %2
- 100 %2
- 100 %1
- 100 %4
- 100 %1
- 100 %1
Om kursen
Mål
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.
Innehåll
Logik, logikprogram, deklarativ och operationell semantik, negation, Prolog, "cut", logik och databaser, logik och grammatiker, sökning och constraint logic programming.
- Examinator
- Victor Lagerkvist
- Schemalagd tid
- 48 h
- Huvudområde
- Informationsteknologi, Datateknik, Datavetenskap