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. 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

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). 02. maj, 2025