Matematik III - Logik
Detta är en första kurs i logik. Den behandlar satslogik och predikatlogik, och visar hur de används för att modellera resonemang, särskilt matematiska resonemang.
Kursen behandlar sats- och predikatlogik, induktivt definierade mängder, formella språk, substitution, semantik, naturlig deduktion. Systemets sundhet och fullständighet med avseende på semantiken bevisas och tillämpas på olika problem.
Kursen ges på engelska och du hittar mer information på den engelska versionen av denna sida.
Schema finns tillgängligt senast en månad före kursstart. Vi rekommenderar inte utskrift av scheman då vissa ändringar kan ske.
Vid kursstart meddelar utbildningsansvarig institution var du hittar ditt schema under utbildningen.
Observera att kurslitteraturen kan ändras fram till två månader före kursstart.
Kursrapporter visas för de tre senaste kurstillfällena.
