Logik och bevisteknik I
Kursen ger dig grunderna i sats- och predikatlogik. Då logik har tillämpningar inom datavetenskapen rekommenderas denna kurs särskilt till studenter som har datavetenskap som huvudområde.
Kommande starter
1 tillgängligt startdatum
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å...
Highlights