Visa allastudier.se som: Mobil

Logik: Formella språk

Göteborgs universitet
Sammanfattning
Fristående kurser (grundnivå)
Göteborg
7.5 hp
Deltid
Klassrum
Startdatum: Vår 2021 - Göteborg

Logik: Formella språk

Kursen är en introduktion till logikämnet och ger baskunskaper om formella språk, särskilt predikatlogik och satslogik. Tyngdpunkten ligger på färdighet snarare än abstraktion och du lär dig att hantera logiska formler. Vidare presenteras begrepp som bevisbarhet och logisk konsekvens och du lär dig olika sätt att analysera slutledningar. Kursen ingår som obligatorisk delkurs på fortsättningskursen i teoretisk filosofi. Kursen förutsätter inte matematiska färdigheter, men det är en fördel om man har vana att läsa matematisk text.

Förkunskaper

Grundläggande behörighet

Göteborgs universitet

Göteborgs universitet

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 37 000 studenter och 6 000 medarbetare gör universitetet till en stor och inspirerande arbetsplats, flödande av kunskap och idéer. Öppenheten är ett signum som genomsyrar verksamheten. Universitetet tar plats i debatten...


Läs mer om Göteborgs universitet och visa alla utbildningar

Hitta till utbildaren

Göteborgs universitet

Recensioner

Det finns inga recensioner för Logik: Formella språk

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: