Logik I
Stockholms universitetLogik 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
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...
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.