| TDDA41 | LOGIKPROGRAMMERING, 4,5 poäng /Logic Programming/ För: C3, D4 | |
| Utbildningsområde: Teknik Ämnesgrupp: Datalogi | ||
| Fördjupningsnivå: D | ||
| Klassning för datavetenskaplig examen: Datavetenskap | ||
| 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, TDDB92 (TDDB 93) Programmering i inkrementellt system.Organisation: 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. | ||
| LAB 1 | En laborationskurs. | |
| TEN 1 | En skriftlig tentamen. | |