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.
Kommande starter
Förkunskaper
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å...