Logik och bevisteknik I
5 hp
Kurs, Grundnivå, 1MA027
Fäll ut informationen nedan för att läsa mer om anmälan och behörighet.
Våren 2026 Våren 2026, Uppsala, 33 %, Campus, Svenska
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 23 mars 2026–7 juni 2026
- Undervisningsspråk
- Svenska
- Behörighet
-
5 hp matematik eller datavetenskap. Algebra I genomgången.
- Urval
-
Högskolepoäng inom teknik/naturvetenskap (max 240 hp)
- Avgifter
-
Du som inte är medborgare i ett EU-/EES-land eller Schweiz måste betala anmälnings- och studieavgift.
- Studieavgift, första inbetalningen: 10 833 kr
- Studieavgift, totalt: 10 833 kr
- Sista anmälningsdag
- 15 oktober 2025
- Anmälningskod
- UU-60032
För dig som är antagen eller reserv
- Registreringsperiod
- 9 mars 2026–5 april 2026
- Institutionens information om registrering
Om kursen
Kursen ger dig 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.
Kursplan
- Kursplan giltig från och med höstterminen 2026
- Kursplan giltig från och med höstterminen 2025
- Kursplan giltig från och med höstterminen 2023
- Kursplan giltig från och med höstterminen 2022
- Kursplan giltig från och med höstterminen 2019
- Kursplan giltig från och med höstterminen 2017
- Kursplan giltig från och med höstterminen 2012, version 2
- Kursplan giltig från och med höstterminen 2012, version 1
- Kursplan giltig från och med höstterminen 2010, version 2
- Kursplan giltig från och med höstterminen 2010, version 1
- Kursplan giltig från och med höstterminen 2007, version 2
- Kursplan giltig från och med höstterminen 2007, version 1
Litteraturlista
- Litteraturlista giltig från och med höstterminen 2025
- Litteraturlista giltig från och med höstterminen 2023
- Litteraturlista giltig från och med höstterminen 2022
- Litteraturlista giltig från och med vårterminen 2022
- Litteraturlista giltig från och med höstterminen 2019
- Litteraturlista giltig från och med höstterminen 2017
- Litteraturlista giltig från och med höstterminen 2012, version 2
- Litteraturlista giltig från och med höstterminen 2012, version 1
- Litteraturlista giltig från och med höstterminen 2010, version 2
- Litteraturlista giltig från och med höstterminen 2010, version 1
- Litteraturlista giltig från och med höstterminen 2007, version 2
- Litteraturlista giltig från och med höstterminen 2007, version 1