TDDD08 · Linköpings universitet
Logikprogrammering
Ny kurs
Inga tentor än
Ladda upp dina tidigare tentor och få hjälp med att strukturera ditt studiematerial
Få dina tentauppgifter kategoriseradeBli guidad genom ditt studiematerialFå hjälp direkt med teori och tipsHåll koll på dina framsteg
HP
6
Språk
Svenska
Nivå
Avancerad nivå
Fakultet
Tekniska fakulteten
Institution
Institutionen för datavetenskap
Lärandemå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.
Kursinnehåll
Logik, logikprogram, deklarativ och operationell semantik, negation, Prolog, "cut", logik och databaser, logik och grammatiker, sökning och constraint logic programming.
Förutsättningar
- Grundläggande kurser i diskret matematik och logik samt någon kurs i grundläggande programmering.
Litteratur
Logic, Programming and Prolog - Nilsson, U., Maluszynski, J.
Laborationsmaterial, utges av Institutionen för datavetenskap
Liknande kurser vid andra universitet
Gör som 15 000+ studenter och ta kontroll över ditt tentaplugg.
Kom igång gratis