SNY har ordet

Det finns inga aktuella kommentarer för kursen. Om du har läst kursen får du gärna kontakta SNY med en kommentar för att förbättra kommande upplagor av Y-arens guide till galaxen.

Innehåll

Logik, logikprogram, deklarativ och operationell semantik, negation, Prolog, "cut", logik och databaser, logik och grammatiker, sökning och constraint logic programming.

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.

Examinationsmoment

LAB1 - 2,0 HP
Laborationskurs (U, G)
TEN1 - 4,0 HP
Skriftlig tentamen (U, 3, 4, 5)

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.

Litteratur

Böcker

• Nilsson, U., Maluszynski, J., (1995) Logic, Programming and Prolog second edition John Wiley & Sons Ltd

Övrigt

• Laborationsmaterial, utges av Institutionen för datavetenskap.

Relaterade profiler

Teknisk matematik TMT - MAI

Rekommenderade förkunskaper

Grundläggande kurser i diskret matematik och logik samt någon kurs i grundläggande programmering.

Diskret matematik TATA32 - 8,0 HP - HT1 block 2, HT2 block 3

Kommentarer

Logga in för att kunna läsa och skriva kommentarer.