Logik och formella metoder
Umeå universitetLogik 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
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...
Hitta till utbildaren
Umeå universitet
Recensioner
Det finns inga recensioner för Logik och formella metoder
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.
