Visa allastudier.se som: Mobil
Sammanfattning
Fristående kurser (grundnivå)
Stockholm
7.5 hp
Deltid
Klassrum
Startdatum: Vår 2021 - Stockholm

Logik I

Kursen behandlar första ordningens logik, och presenterar de centrala begreppen logisk konsekvens, logisk sanning, logisk konsistens (motsägelsefrihet), logisk ekvivalens samt satisfierbarhet inom ramen för sats- och predikatlogik (med identitet). Kursen presenterar rigorösa definitioner av dessa språks syntax och semantik, samt idéer om induktiva (rekursiva) definitioner, samt strukturell induktion. Ett formellt härledningssystem för hela första ordningens logik presenteras, som utgår från semantiska tablåer (eller sanningsträd).Kursen innehåller också en introduktion till läran om mängder, relationer och funktioner, som inkluderar operationer på dessa.

Förkunskaper

Engelska B/Engelska 6.

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 Logik I

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: