Matematisk logik
10 hp
Kurs, Grundnivå, 1MA213
Hösten 2023 Hösten 2023, Uppsala, 33 %, Campus, Kursen ges vid behov på engelska Ges endast inom program
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 28 augusti 2023–14 januari 2024
- Undervisningsspråk
- Kursen ges vid behov på engelska
- Behörighet
-
60 hp matematik. Algebra II eller Mängdlära genomgången.
- Sista anmälningsdag
- 17 april 2023
- Anmälningskod
- UU-10104
För dig som är antagen eller reserv
- Registreringsperiod
- 14 augusti 2023–10 september 2023
- Institutionens information om registrering
Hösten 2023 Hösten 2023, Uppsala, 33 %, Campus, Kursen ges vid behov på engelska För utbytesstudenter
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 28 augusti 2023–14 januari 2024
- Undervisningsspråk
- Kursen ges vid behov på engelska
- Behörighet
-
60 hp matematik. Algebra II eller Mängdlära genomgången.
För dig som är antagen eller reserv
- Registreringsperiod
- 14 augusti 2023–10 september 2023
- Institutionens information om registrering
Hösten 2024 Hösten 2024, Uppsala, 33 %, Campus, Kursen ges vid behov på engelska Ges endast inom program
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 2 september 2024–19 januari 2025
- Undervisningsspråk
- Kursen ges vid behov på engelska
- Behörighet
-
60 hp matematik. Algebra II eller Mängdlära genomgången.
- Sista anmälningsdag
- 15 april 2024
- Anmälningskod
- UU-10104
För dig som är antagen eller reserv
- Registreringsperiod
- 19 augusti 2024–15 september 2024
- Institutionens information om registrering
Hösten 2024 Hösten 2024, Uppsala, 33 %, Campus, Kursen ges vid behov på engelska För utbytesstudenter
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 2 september 2024–19 januari 2025
- Undervisningsspråk
- Kursen ges vid behov på engelska
- Behörighet
-
60 hp matematik. Algebra II eller Mängdlära genomgången.
För dig som är antagen eller reserv
- Registreringsperiod
- 19 augusti 2024–15 september 2024
- Institutionens information om registrering
Om kursen
Kursen behandlar det formella språket för första ordningens logik, grundläggande modellteori och rekursionsteori. Då logik har tillämpningar inom datavetenskapen rekommenderas denna kurs även till studenter som har datavetenskap som huvudområde och vill utöka sina kunskaper i matematik.
Kursplan
- Kursplan giltig från och med höstterminen 2022, version 2
- Kursplan giltig från och med höstterminen 2022, version 1
- Kursplan giltig från och med höstterminen 2021
- Kursplan giltig från och med höstterminen 2019
- Kursplan giltig från och med höstterminen 2013
- Kursplan giltig från och med höstterminen 2012, version 2
- Kursplan giltig från och med höstterminen 2012, version 1
Litteraturlista
- Litteraturlista giltig från och med höstterminen 2022, version 2
- Litteraturlista giltig från och med höstterminen 2022, version 1
- Litteraturlista giltig från och med höstterminen 2021
- Litteraturlista giltig från och med höstterminen 2019
- Litteraturlista giltig från och med höstterminen 2013
- Litteraturlista giltig från och med höstterminen 2012, version 2
- Litteraturlista giltig från och med höstterminen 2012, version 1
Kontakt
- Studievägledning
- studievagledare@math.uu.se
- 018-471 32 03, 018-471 32 00