02280 (2002/2003)

02280 Data-logik

2002/2003

Engelsk titel:

Data logic

Sprog:

Engelsk

Point (ECTS )

Kursustype:

Kursus for civilingeniørstuderende-

Kurset udbydes under Tompladsordningen

Undervisningsform:

Forelæsninger, øvelser. Programkonstruktionsøvelse med rapportaflevering.

Kursets varighed:

13-uger

Evalueringsform:

Skriftlig eksamen og bedømmelse af rapport(er)

Bedømmelsesform:

13-skala, ekstern censur

Faglige forudsætninger:

02140, Der forudsættes kendskab til BNFgrammatikker, rekursive datastrukturer og funktioner, sandhedstabeller, samt relationsdatabasebegreber, alt som det kan erhverves i de formelle forudsætningskurser.

Overordnede kursusmål:

At introducere til formel logik med henblik på datalogiskeanvendelser. Specielt at introducere til formulering af logiske beskrivelser afsystemer og til logikprogrammering.

Kursusindhold:

Prædikatlogik og andre logiske sprog. Logiske begreber som logisk konsekvens og formelt bevis. Logiske formuleringer og slutningsformer med eksempler fra dagligdagen, fra relationsdatabaser og fra enkle tekniske anvendelser. Logikprogrammeringssprog. Programkonstruktionsopgave.

Kursusansvarlig:

Jørgen Fischer Nilsson, 325, 208, (+45) 4525 3730, jfn@imm.dtu.dk

Institut:

02 Informatik og Matematisk Modellering

Kursushjemmeside:

http://www.imm.dtu.dk/courses/02280

Nøgleord:

Logiksprog og logiske begreber, logiske beskrivelser, logikprogrammering, Prolog., Prolog.

Sidst opdateret: 17. marts, 2003