Logik och bevisteknik I
Kurs, Grundnivå, 1MA027
Fäll ut informationen nedan för att läsa mer om anmälan och behörighet.
Våren 2025
Våren 2025,
Uppsala, 33 %, Campus, Svenska
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 24 mars 2025–8 juni 2025
- 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 2024
- Anmälningskod
- UU-60032
För dig som är antagen eller reserv
- Registreringsperiod
- 10 mars 2025–6 april 2025
- Institutionens information om registrering
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
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 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
Kontakt
- Studievägledning
- studievagledare@math.uu.se
- 018-471 32 03, 018-471 32 00