Forløb
Syntaks og semantik
Diplommodul
Vil du udvikle din teoretiske og praktiske forståelse for programmeringssprog med fokus på design og virkemåde?
Du kan udfordre dig selv med diplommodulet Syntaks og semantik!
Styrk din viden om programmeringssprog og beregningsmodeller!
Fagligt indhold
Med viden om basale semantiske modeller og fundamentale begreber inden for automatteori og operationel semantik, lærer du at anvende de formelle beregningsmodeller i dit praktiske udviklingsarbejde.
Du får viden om:
- beregningsmodeller for sproggenkendelse
- matematiske egenskaber for formelle sprogklasser
- begrænsninger i specifikke beregningsmodellers regnekraft og dennes betydning for praktiske projekter.
Udbytte
Når du har opgraderet din viden om softwareudvikling og formelle sprogbegreber er du i stand til at deltage i både teoretiske projekter og i udviklingen af nye softwareudviklingsværktøjer.
Efter Syntaks og semantik kan du:
- gennemføre matematiske beviser for egenskaber ved beregningsmodeller og sprogklasser
- designe og implementere sproggenkendere
- udarbejde formelle beskrivelser af sprog og beregningsmodeller.
Niveau
Syntaks og semantik er et kursus i grundlæggende teori om programmeringssprog, som forbereder dig til videre studier inden for datalogi og softwareudvikling.
Modulet hører under den diplomuddannelsen i Softwareudvikling og kan tages som en del af den fulde diplomuddannelse eller som et enkeltfag. Syntaks og semantik er et valgfrit modul.
Målgruppe
Diplommodulet er til dig, som arbejder eller vil arbejde med softwareudvikling, hvor du fokuserer på programmeringssprog og sprogbegreber.
Julie Kowal Kristiansen, specialkonsulent
Arbejder med området IT og kommunikation
27 28 94 38
juko@ucl.dk