Programmeringsteori
Uppsala universitet
Programmeringsteori
I kursen introduceras grundläggande teorier för programanalys, verifiering och samband mellan matematik och programmering. Områden som ingår är: propositionslogik, predikatlogik, likhetsresonemang, formella metoder, språk för formella specifikationer, verifiering, invarianter, partiell korrekthet, terminering, total korrekthet och programsyntes. I kursen ingår också laborationer baserade på språket Spec# där C# är utvidgat med konstruktioner för programanalys.
Förkunskaper
Uppsala universitet
Välkommen till Uppsala universitet
Välkommen till Uppsala universitet Uppsala universitet är ett internationellt välkänt forskningsuniversitet med vetenskapens och utbildningens utveckling i fokus. Universitetet främjar utveckling och innovation genom en aktiv roll i samhället. Utbildningar på Uppsala Universitet Uppsala universitet har ett stort utbildningsutbud på...
Hitta till utbildaren
Uppsala universitet
Det finns inga recensioner för Programmeringsteori
Var finns framtidens jobb & hur mycket kommer jag att tjäna?
Få koll på vad du kan tjäna efter din utbildning och om den branschen är värd att investera din tid i.
