DV4: Datavetenskaplig logik

Om utbildningen

Logik i olika former genomsyrar hela datavetenskapen. Den används för att strukturera och söka i databaser, klassificera beräkningsproblem, verifiera att hård- och mjukvarusystem är korrekta och strukturera kunskap i intelligenta system, bara för att nämna några tillämpningar. Denna kurs syftar till att förmedla grunderna inom några av de logiska formalismer som används mest inom datavetenskapen, samt till att illustrera deras användningsområden. Kursen tar upp syntax och semantik för satslogik, första ordningens logik samt temproallogik. Inom satslogiken behandlas även bevisregler och konjunktiv normalform. Kursen behandlar också logikens roll inom ett antal datavetenskapliga områden och exemplifierar aktuell forskning inom området. Kursen är uppdelad i två moduler. Modul 1: Teori (6,5 hp) och Modul 2: Litteraturstudie (1,0 hp).

Behörighet

För tillträde till kursen krävs kursen DV3: Beräkningar och språk och Introduktion till diskret matematik eller motsvarande kunskaper.

Rekommenderade förkunskaper: uh

Alla tillfällen (1)

Liknande utbildningar

• Grundläggande logik och modellteoriUniversitet/högskola
• Matematisk logik för datavetenskapUniversitet/högskola
• LogikUniversitet/högskola
• Logik och formella metoderUniversitet/högskola