|
dADS1
|
Meddelelser
UgesedlerMålbeskrivelseMålet med kurset er at give de studerende erfaring med algoritmer som model for sekventielle beregningsprocesser og som basis for formelle korrekthedsbeviser og analyse af ressourceforbrug ved beregningerne. I forbindelse hermed introduceres de studerende bl.a. til forskellige konkrete implementationer af fundamentale datastrukturer. ForelæserGerth Stølting Brodal <gerth@cs.au.dk>ForelæsningerMandag 14.15-16.00 og fredag 12.15-14.00 i Store Auditorium (IT Huset). Første forelæsning er mandag den 29. januar 2007. Kursusplan
MaterialeKernen af kursusmaterialet udgøres af følgende bog, som kan købes i Gad Stakbogladen Naturfag fra medio januar 2007. Bogen vil også blive brugt i Algoritmer og Datastrukturer 2 (4. kvarter, foråret 2007).
Kapitel 8 af følgende bog vil blive udleveret til forelæsningen mandag den 29. januar 2007. De øvrige kapitler i bogen vil ikke blive gennemgået i kurset.
Nedenstående note udleveres til forelæsningen mandag den 29. januar 2007.
Forelæsningerne i uge 9-10 vil dække dele af følgende note, der vil kunnne købes i Gad Stakbogladen Naturfag i slutningen af uge 8 for ca. 20 kroner.
WebboardTil diskussioner om opgaver og lignende har kurset et webboard. |