[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]
Deltagerne vil efter kurset have indsigt i algoritmer som model for sekventielle beregningsprocesser og som basis for formelle korrekthedsbeviser og analyse af ressourceforbrug ved beregningerne, samt detaljeret kendskab til adskillige konkrete implementationer af fundamentale datastrukturer.
6 opgaver
Datastrukturer: Lister, træer, hashtabeller.
Dataabstraktioner: Stakke, køer, prioritetskøer, ordbøger, mængder.
Algoritmer: Søgning, sortering, selektion, fletning.
Analyse og syntese: Worst-case, amortiseret og forventet udførelsestid, udsagn, invarianter, gyldighed, terminering og korrekthed.
Deltagerne skal ved afslutningen af kurset kunne:
Calculus 1+2, Introduktion til Programmering, Programmering 2
Gerth Stølting Brodal
Forelæsninger (2+2t/uge), holdøvelser (3t/uge)
Dansk
Introduction to Algorithms (Third Edition), Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Cliff Stein. MIT Press and McGraw-Hill, 2001.
Mandag 14-16 + torsdag 12-14
Blokpar D: http://science.au.dk/uddannelse/undervisning/blokpar/
Eksamen: 3. kvarter
Placering: Onsdag d. 30. marts 2011, uge 13
Reeksamen august
Datalogisk Institut
Bacheloruddannelsen i Datalogi og IT
https://mit.au.dk/da/index.cfm
Skriftlig eksamen (2 timer), Alle sædvanlige hjælpemider dog uden PC,
7-skala bedømmelse, intern censur