Semantik för programmeringsspråk

5 hp

Kurs, Grundnivå, 1DL311

Fäll ut informationen nedan för att läsa mer om anmälan och behörighet.

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.

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

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.

FÖLJ UPPSALA UNIVERSITET PÅ

Uppsala universitet på facebook
Uppsala universitet på Instagram
Uppsala universitet på Youtube
Uppsala universitet på Linkedin