Logik II
Logik II ges på engelska och du hittar mer information om kursen på den engelska versionen av denna sida.
Kursen behandlar:
- grundvalar och mängdteori: Zermelo-Fraenkel-axiomen för mängdteori, elementär teori för kardinaltal och ordinaltal. Ekvivalenta formuleringar av urvalsaxiomet och dess tillämpningar i analys och algebra.
- strukturer och modeller: isomorfier och inbäddningar, fullständiga teorier, elementär ekvivalens och elementär inbäddning, Löwenheim-Skolems satser, kategoricitet, tillämpningar på algebraiska teorier samt icke-standard analys.
- beräkningsbarhet och ofullständighet: beräkningsmodeller, klasser av beräkningsbara funktioner, avgörbara och oavgörbara problem, Gödelkodning samt Gödels ofullständighetsats.
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.
