Logik i datavetenskap och artificiell intelligens, 7,5 hp

Kursen behandlar ett urval teman som innehåller betydelsefulla tillämpningar av logik till data- och informationsvetenskaper och artificiell intelligens. Bland dessa märks:

1.Användningen av klassisk första ordningens (FO) språk och logik för kunskapsrepresentation och automatisk teorembevisning baserad på första ordningens resolution med unifiering.

2.Introduktion till logikprogrammering och Prolog.

3.Introduktion till logiska metoder för programverifiering, till Floyd-Hoare logik för bevis av partiell korrekthet hos datorprogram, samt till metoder för att bevisa att datorprogram terminerar och är fullständigt korrekta.

4.Dynamisk satslogik för program (PDL).

5.Tidslogiker i datavetenskap. Användning av tidslogiker för linjär tid och för förgrenande tid för formell specifikation av egenskaper hos transisitionssystem, och av beräkningar i desamma. Modellprövning och formell verifikation av reaktiva och parallella system.

Inom kort kommer mer information om utbildningen att finnas på den här sidan. Fram till dess finns informationen på ansvarig institutions egen webbplats.

Vet du vad du vill läsa?

Sök bland kurser och program

Vad finns att läsa på SU?

Alla våra ämnen