Behörighetskrav

Grundläggande behörighet och Matematik 3b eller 3c/Matematik C, Samhällskunskap 1b eller 1a1+1a2, Engelska 6

Mål

Efter genomgången kurs ska studenten kunna grundläggande begrepp inom den formella logiken, särskilt de som är viktiga för förståelsen av strukturen hos konstruerade språk och formella system i allmänhet. Tillämpa logikens metoder vid problemlösning.

Innehåll

Satslogik

satslogikens språk

formalisering

tautologibegreppet

satslogik

konsekvens

naturlig deduktion

Predikatlogik

predikatlogikens språk

formalisering

rudimentär mängdteori

modeller

logisk sanning och konsekvens

naturlig deduktion

sambandet mellan logisk konsekvens och deduktion.

Undervisning

Föreläsningar och lektioner med räkneövningar

Examination

Tentamen och inlämningsuppgifter. Som betyg på kursen används något av uttrycken väl godkänd, godkänd eller underkänd.

Om särskilda skäl finns får examinator göra undantag från det angivna examinationssättet och medge att en 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 eller beslut om undantag som fattats av institutionens arbetsgrupp för studieärenden.