Semantik för programmeringsspråk, 5 hp

Läsåret 2022/2023

  • HT 2022, 33 %, Campus

    Startdatum: 29 augusti 2022

    Slutdatum: 30 oktober 2022

    Sista anmälningsdatum: 19 april 2022

    Anmälningskod: UU-11003 Anmälan

    Undervisningsspråk: Engelska

    Studieort: Uppsala

    Urval: Högskolepoäng inom teknik/naturvetenskap (max 240 hp)

    Registrering: 28 juli 2022 – 5 september 2022

Behörighet: 60 hp matematik och datavetenskap inklusive Algebra, Logik och bevisteknik, en fortsättningskurs i programmering, programmering i minst ett funktionellt och minst ett imperativt språk.

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

Syftet med semantiska beskrivningar är att ge en exakt definition av innebörden av ett programspråk utan oklarheter eller tvetydigheter. Det är till nytta när man behöver en precis förståelse för hur ett programspråk fungerar, till exempel vid utformning av nya programspråk, vid konstruktion av program som använder andra program som data, som kompilatorer, men även av programmerare för referensändamål. Olika semantiska metoder och deras användning tas upp, med särskilt fokus på operationell semantik.

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

Institutionen för informationsteknologi

hus 10, Lägerhyddsvägen 1

Box 337, 751 05 UPPSALA

E-post: info@it.uu.se

Studievägledare

E-post: studievagledare@it.uu.se