Matematik III - Logik
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.
Kommande starter
1 tillgängligt startdatum
Förkunskaper
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
Highlights