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.
Kommande starter
1 tillgängligt startdatum
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...
Highlights