Visa allastudier.se som: Mobil

Logik och formella metoder

Umeå universitet
Sammanfattning
Grundnivå (Högskole- och Kandidatexamen)
Umeå
7.5 hp
Deltid
Startdatum: Vår 2020 - Umeå
Sista ansökan: 2019-10-14

Logik och formella metoder

Kursen ger grundläggande färdigheter i och förståelse av logik och matematik. I logikdelen studeras språket för första ordningens predikatlogik, logisk sanning och konsekvens, och härledbarhet och bevisbarhet. I matematikdelen ges en inledning till diskret matematik: mängdlära, aritmetik, kombinatorik, sannolikhetsteori, grafer, relationer och funktioner.

Förkunskaper

Univ: Matematik B, Samhällskunskap A. Eller: Matematik 2a / 2b / 2c, Samhällskunskap 1b / 1a1+1a2 (områdesbehörighet 5/A5)

Umeå universitet

Umeå universitet

Välkommen till Umeå universitet

Att studera är första steget mot en spännande framtid. Att studera är också att ha kul under tiden. Gör det tillsammans med 36 000 studenter från hela världen! För att studierna ska fungera riktigt bra är det viktigt med en miljö att trivas...


Läs mer om Umeå universitet och visa alla utbildningar

Hitta till utbildaren

Umeå universitet


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