Logik och bevisteknik I, 5 hp
Läsåret 2021/2022
-
VT 2022, 33 %, Campus
Startdatum: 21 mars 2022
Slutdatum: 5 juni 2022
Sista anmälningsdatum: 15 oktober 2021
Anmälningskod: UU-60032 Anmälan
Undervisningsspråk: Svenska
Studieort: Uppsala
Urval: Högskolepoäng inom teknik/naturvetenskap (max 240 hp)
Registrering: 7 mars 2022 – 3 april 2022
Behörighet: Algebra I.
Avgifter: Du som inte är medborgare i ett EU-/EES-land eller Schweiz måste betala anmälnings- och studieavgift.
Läs mer om avgifter och stipendier.
Anmälningsavgift: 900 kr
Studieavgift, första inbetalningen: 10833 kr
Studieavgift, totalt: 10833 kr
Om kursen
Kursen studerar grunderna i sats- och predikatlogik. Då logik har tillämpningar inom datavetenskapen rekommenderas denna kurs särskilt till studenter som har datavetenskap som huvudområde.
Mer information
Kursplan med litteraturlista
För varje kurs finns en formell kursplan. Den innehåller kursens benämning, omfattning och syfte. I kursplanen får man också upplysningar om huvudsakligt innehåll, kurslitteratur och hur examination går till.