CS4: Logic for computer science

Education facts

Code: 5DV163

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

Entry requirements

null

Education offerings

Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.

• CS4: Logic for computer science

  Umeå University

  Start date: 2 November 2026

  End date: 17 January 2027

  Pace of study: 50 %