Semantik för programmeringsspråk
Universitet/högskola · Kurs · GrundnivåUppsala universitet
Annons
Annonsplats – inget annonsnätverk kopplat ännu.
Fakta
- Ämnesområde
- Data och IT
- Nivå
- Grundnivå
- Omfattning
- 5 högskolepoäng
- Längd
- 3 veckor
- Studietakt
- 33 %
- Studieort
- Uppgift saknas
- Start
- 2026-08-31
- Slut
- 2026-11-01
- Examen
- Uppgift saknas
- CSN-berättigad
- Uppgift saknas
- Avgift
- Uppgift saknas
Ansökan
Ansökan stängde 2026-04-15
Till ansökan hos Uppsala universitet ↗Om utbildningen
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.
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.
Rekommenderade förkunskaper: uh
Alla tillfällen (1)
| Ort | Start | Studietakt | Ansökan |
|---|---|---|---|
| Uppsala län | 2026-08-31 | 33 % | Ansökan stängde 2026-04-15 |
Liknande utbildningar
- Semantik och pragmatikUniversitet/högskola
- Programsemantik och programanalysUniversitet/högskola
- Komputationell semantikUniversitet/högskola
- Lingvistik: Semantik och pragmatikUniversitet/högskola
Är du anordnare? Lyft utbildningen överst i relevanta sökningar.
Källa: Skolverkets Susa-nav · Uppdaterad i källan 2026-03-09 · Hämtad 2026-07-14. Uppgifter som saknas i källan visas som ”Uppgift saknas”.