02156 Logiske Systemer og Logikprogrammering

2024/2025

Kursusinformation
Logical Systems and Logic Programming
Engelsk
5
Bachelor
Kurset udbydes som enkeltfag
Tilvalgskursus (B Eng), Softwareteknologi
Teknologiske linjefag, Softwareteknologi
Retningsspecifikt kursus (BSc), Softwareteknologi
E4A (tirs 13-17)
Campus Lyngby
Forelæsninger, øvelser og obligatoriske afleveringsopgaver.
13-uger
E4A
Skriftlig eksamen og bedømmelse af rapport(er)
Bedømmes som en helhed.
Skriftlig eksamen: 2 timer
Skriftlige hjælpemidler er tilladt
7-trins skala , intern bedømmelse
(02002/02003/02100/02101/02102).­(01017/01019).­02105 , Programmering i et deklarativt eller imperativt sprog, diskret matematik, algoritmer og datastrukturer. Funktionsprogrammering er en fordel.
Jørgen Villadsen , Lyngby Campus, Bygning 322, Tlf. (+45) 4525 3733 , jovi@dtu.dk
01 Institut for Matematik og Computer Science
https://courses.compute.dtu.dk/02156/
I studieplanlæggeren
Overordnede kursusmål
Kursusmålet er at give de studerende en introduktion til nogle af de grundlæggende deklarative formalismer fra formel datalogi og logik, der kan benyttes til at beskrive, analysere og konstruere IT-systemer.
Det omfatter såvel teoretiske indsigter som praktiske færdigheder i relevante højniveau-programmeringssprog.
Læringsmål
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
  • relatere forskellige slags bevissystemer
  • konstruere formelle beviser i elementære logikker
  • udnytte udvalgte klassiske og ikke-klassiske logikker
  • benytte "backtracking" algoritmen til simpel problemløsning
  • analysere effekten af et deklarativt program
  • etablere et funktionelt design for et givet problem, således at hovedbegreberne for problemet direkte kan spores i designet
  • beherske logiske tilgange til programmering ved at definere rekursive prædikater
  • kommunikere løsninger til problemer på en klar og præcis måde
Kursusindhold
Kurset dækker logikprogrammering (især Prolog som et "rapid prototyping" værktøj), elementære logikker (herunder propositionel og førsteordenslogik), bevissystemer (deduktive systemer og/eller refutationssystemer), og problemløsningsteknikker (såsom "backtracking" algoritmen).
Sidst opdateret
02. maj, 2024