Visa allastudier.se som: Mobil

Matematik III - Logik

Stockholms universitet
Sammanfattning
Fristående kurser (grundnivå)
Stockholm
7.5 hp
Deltid
Klassrum
Startdatum: Vår 2021 - Stockholm

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.

Förkunskaper

För tillträde till kursen krävs kunskaper motsvarande 60 hp i matematik där Matematik II - Algebra och kombinatorik, 7,5 hp (MM5013) eller motsvarande skall ingå.

Stockholms universitet

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 Matematik III - Logik

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

Du kanske också är intresserad av: