| TDDA41 | Logikprogrammering, 4,5 poäng /Logic Programming/ För: C3, C4, D4, IT4 | |
| Utbildningsområde: Teknik Ämnesgrupp: Datalogi | ||
| Fördjupningsnivå: D | ||
| Klassning för datavetenskaplig examen: Datavetenskap, datalogi. | ||
| Mål: Att ge grundläggande principer för logikprogrammering och dess relation till andra datavetenskapliga områden. Att lära ut ett deklarativt tankesätt samt att praktisera detta med hjälp av språket Prolog.Förkunskaper: TDDB90 eller TATM90 Diskret matematik och logik, TDDB 92 (TDDB 93) Programmering i inkrementellt system,TDDB80 Programmering och datorspråk eller TDDB81 ProgrammeringOrganisation: På föreläsningar och lektioner genomgås och övas teorin. På laborationerna utförs uppgifter med Prolog.Kursinnehåll: Logik, logikprogram, deklarativ och operationell semantik, negation, Prolog, "cut", logik och databaser, grammatiker, sökning, ekvationslogik, constraint logic programming och frågeoptimering.Kurslitteratur: Nilsson, U., Maluszynski, J.: Logic, Programming and Prolog , John Wiley & Sons Ltd, 1995 (second edition). Laborationsmaterial, utges av Institutionen för datavetenskap. | ||
| TEN1 | En skriftlig tentamen. , 3,5 p. | |
| LAB1 | En laborationskurs., 1 p. | |
Undervisningsspråk är svenska.