02280 (2004/2005)

02280 Data-logik

2004/2005

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

Varighed eksamen:

4 timer

Hjælpemidler:

Kun visse hjælpemidler:

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.

Bemærkninger:

Kurset er et obligatorisk matematik/fysik præget kursus

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: 2. februar, 2005