Semantik för programmeringsspråk, 5 hp
Läsåret 2023/2024
-
HT 2023, 33 %, Campus
Startdatum: 28 augusti 2023
Slutdatum: 30 oktober 2023
Sista anmälningsdatum: 17 april 2023
Anmälningskod: UU-11003 Anmälan
Undervisningsspråk: Engelska
Studieort: Uppsala
Urval: Högskolepoäng inom teknik/naturvetenskap (max 240 hp)
Registrering: 28 juli 2023 – 4 september 2023
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.
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
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