Semantik för programmeringsspråk
Kurs, Grundnivå, 1DL311
Fäll ut informationen nedan för att läsa mer om anmälan och behörighet.
Hösten 2025
Hösten 2025,
Uppsala, 33 %, Campus, Engelska
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 1 september 2025–2 november 2025
- Undervisningsspråk
- Engelska
- Behörighet
-
60 hp matematik och datavetenskap inklusive Algebra I, Logik och bevisteknik I, en fortsättningskurs i programmering, programmering i minst ett funktionellt och minst ett imperativt språk.
- 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 april 2025
- Anmälningskod
- UU-11003
För dig som är antagen eller reserv
- Registreringsperiod
- 25 juli 2025–7 september 2025
- Institutionens information om registrering
Hösten 2025
Hösten 2025,
Uppsala, 33 %, Campus, Engelska
För utbytesstudenter
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 1 september 2025–2 november 2025
- Undervisningsspråk
- Engelska
- Behörighet
-
60 hp matematik och datavetenskap inklusive Algebra I, Logik och bevisteknik I, en fortsättningskurs i programmering, programmering i minst ett funktionellt och minst ett imperativt språk.
För dig som är antagen eller reserv
- Registreringsperiod
- 25 juli 2025–7 september 2025
- Institutionens information om registrering
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.