Visa allastudier.se som: Mobil
Sammanfattning
Fristående kurser (avancerad nivå)
Stockholm
7.5 hp
Deltid
Klassrum
Startdatum: Höst 2021 - Stockholm

Logik II

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.

Förkunskaper

För tillträde till kursen krävs kunskaper motsvarande 60 hp i matematik. Dessutom krävs kursen Matematik III - Logik, 7,5 hp (MM5024) eller kurserna Metalogik: Fullständighet, 7,5 hp (FILOG3) och Metalogik: Ofullständighet och oavgörbarhet, 7,5 hp (FILOG4) eller motsvarande. Engelska 6.

Stockholms universitet

Stockholms universitet

En utbildning från Stockholms universitet är en merit som skapar goda förutsättningar för arbete och karriär, både nationellt och internationellt. Du kan välja bland över 200 program och 1900 fristående kurser inom humaniora, juridik, lärarutbildning, naturvetenskap, samhällsvetenskap och språk. Vid...


Läs mer om Stockholms universitet och visa alla utbildningar

Hitta till utbildaren

Stockholms universitet

Recensioner

Det finns inga recensioner för Logik II

Jobb & Lön

Var finns framtidens jobb & hur mycket kommer jag att tjäna?

Få koll på vad du kan tjäna efter din utbildning och om den branschen är värd att investera din tid i.

Till Jobb & Lön