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

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.

Kontakt

Matematiska institutionen

Lägerhyddsvägen 1, Hus 1, 6 och 7

Box 480, 751 06 UPPSALA

Studievägledare

E-post: studievagledare@math.uu.se

Telefon: 018-471 32 03