Behörighetskrav

Algebra I samt Programkonstruktion och datastrukturer.

Mål

Efter godkänd kurs ska studenten kunna:

• översätta utsagor och resonemang givna i naturligt språk till satslogiskt respektive predikatlogiskt språk, förklara hur formler i predikatlogik tolkas som sanna eller falska samt redogöra för begreppen tautologi, giltig slutledning, logisk sanning och logisk konsekvens
• redogöra för några matematiska modeller för beräkningar såsom ändliga automater, reguljära och sammanhangsfria grammatiker, samt hur dessa modeller är relaterade till varandra
• modellera enklare system med automater och logik samt formulera och förklara enklare korrekthetsegenskaper hos modeller
• använda verktyg för att, i enkla fall, avgöra om en modell uppfyller en korrekthetsegenskap

Innehåll

Kursen är uppdelad i en teoretisk del och en praktisk del. Den teoretiska delen tar upp:

Logiska uttryck, formulering och precisering av naturliga språk, logisk konsekvens och ekvivalens. Reguljära uttryck, sammanhangsfria och reguljära grammatiker, ändliga automater. Modellering av system. Tolkning och modell. Modallogik.

Den praktiska delen tar upp: Modellering av ett mindre IT-system, formulering av korrekthetsegenskaper samt analys av system med avseende på korrekhetsegenskaper.

Undervisning

Föreläsningar, lektioner, laborationer.

Examination

Muntlig och skriftlig redovisning av uppgifter 3 hp, skriftlig tentamen 2 hp.

Om särskilda skäl finns får examinator göra undantag från det angivna examinationssättet och medge att en enskild student examineras på annat sätt. Särskilda skäl kan t.ex. vara besked om särskilt pedagogiskt stöd från universitetets samordnare för studenter med funktionsnedsättning.

Övriga föreskrifter

Kursen kan ej tillgodoräknas i examen tillsammans med Logik och bevisteknik I (1MA027) och Automatateori (1MA009).