Hoppa direkt till innehållet
printicon
Huvudmenyn dold.

Logik och formella metoder

  • Antal högskolepoäng 7,5 hp

Om kursen

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.

Kontaktformulär

Kontaktformulär

Tänk på att universitetet är en statlig myndighet och att det du skriver här kan bli en allmän handling. Var därför försiktig med att skriva känsliga eller personliga frågor här i kontaktformuläret. Alla uppgifter behandlas enligt dataskyddsförordningen (GDPR)

Kontaktperson för kursen är:
Studievägledare för filosofi