Programmering, Högskola / Universitet i Sverige

I kursen introduceras grundläggande teorier för programanalys, verifiering och samband mellan matematik och programmering. Områden som ingår är: propositionslogik, predikatlogik,...

Kursen vänder sig till dig som redan har rutin inom sekventiell programmering och nu vill bredda din kompetens till att...

I kursen behandlas grunderna för problemlösning i programspråket C, kontrollstrukturer, datatyper, algoritmer, sortering/sökning samt filhantering....

Kursen syftar till att studenten utvecklar fördjupade kunskaper och färdigheter inom objektorienterad programutveckling, samt utvecklar kunskaper om objektsamlingar, multitrådning och...

Syftet med kursen är att studenterna i datavetenskap skall etablera en djup förståelse för bästa praxis och aktuell forskning inom...

Kursen avser att ge kunskap om och övning i professionell utveckling av mjukvara. Kursen presenterar en enkel, testdriven, objektorienterad mjukvaruutvecklingsprocess....

De flesta datorsystem är inte persondatorer, utan är inbyggda i andra maskiner såsom bilar, flygplan och mikrovågsugnar. Kursen tar upp...

Talsystem och logisk algebra, logikkretsar: kombinatoriska kretsar och sekvenskretsar (vippor, latchar). Morgans lagar och Karnaughdiagram, tillståndsgrafer och tillståndsmaskiner (Mealy och...

Syftet med semantiska beskrivningar är att ge en exakt definition av innebörden av ett programspråk utan oklarheter eller tvetydigheter. Det...

Som programmerare behöver man ofta skriva program som analyserar, tolkar och översätter olika typer av data eller program. Det kan...

The purpose of the course is for the students to develop basic knowledge and skills in designing software for mobile...

I denna kurs lär du dig att designa och utveckla applikationer för olika typer av mobila enheter. Diskussioner kring mobilitetens...

Kursen behandlar metoder och tekniker för att designa och utveckla prototyper för mobila applikationer. Under kursen kommer prototyper utvecklas i...

Heltalsoptimering ställer oss ofta inför svåra beräkningsproblem. Den här kursen behandlar metoder som kan användas för att lösa sådana problem...

- Användningen av verktyg för att lösa ett kombinatorisk problem, genom att först modellera problemet i ett lösningsteknik-oberoende villkorsbaserat modelleringsspråk...