| TDDA41 |
Logikprogrammering, 4,5 p
/Logic Programming/ |
||
Prel. schemalagd
tid: 48 |
|||
|
Utbildningsområde: Teknik Ämnesgrupp: Datalogi, Datateknik Nivå (A-D):D |
|||
| Datavetenskap 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: (gäller studerande antagna till program som kursen ges inom, se 'För:' ovan) TATA35 Diskret matematik, TDDB83 Logik, TDDB80 Programmering och datorspråk eller TDDB81 Programmering. OBS! Tillträdeskrav för icke programstudenter omfattar vanligen också tillträdeskrav för programmet och ev. tröskelkrav för progression inom programmet, eller motsvarande. |
|||
| 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. |
|||
| Examination: | |||
| TEN1 LAB1 |
En skriftlig tentamen (U,3,4,5) En laborationskurs (U,G) |
3,5 p 1 p |
|
Undervisningsspråk är Svenska/engelska.
Institution: IDA.
Studierektor: sas-sr@ida.liu.se
Examinator: Ulf Nilsson
Länk till kurshemsida på kursgivande institution
Ansvarig utbildningsnämnd: UND
Engelsk kursplan
Om inget annat anges ovan gäller betygsskala enligt avsnitt a8.5 i de gemensamma bestämmelserna.
Kursplanen gäller för 2006 enligt beslut av ansvarig utbildningsnämnd.
 |
||||||
| ||||||