Algoritmer og Datastrukturer 1 (2004)

dADS1
DAIMI / Kurser / dADS 1

Meddelelser

Ugesedler

Målbeskrivelse

Må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æser

Gerth Stølting Brodal <gerth@cs.au.dk>

Forelaesninger

Tirsdag 12.15-14.00 og fredag 10.15-12.00 i Auditorium E (1-533-103).

Øvelser

HoldTidStedInstruktor
Hold 1 Onsdag - 8-11 Øvelseslokale (1-520-333) Jesper Gødvad Larsen
Hold 7 Torsdag - 8-11 Kollokvierum B3 (1-530-322) Philipp Gerhardy
Hold D1 Tirsdag - 8-11 Øvelseslokale (1-521-322) Martin Randers
Hold D2 Mandag - 9-12 Kollokvium G4 (1-532-222) Philipp Gerhardy
Hold D3 Onsdag - 9-12 (1-134-219) Jesper Makholm Byskov
Hold D4 Mandag - 9-12 Øvelseslokale (1-521-322) Jakob Vesterstrøm
Hold D5 Tirsdag - 8-11 Kollokvium G3 (1-532-218) Elin Støvring

Materiale

Kernen af kursusmaterialet udgøres af følgende bog, som kan købes i Gad Stakbogladen Naturfag.

Michael T. Goodrich and Roberto Tamassia: Algorithm design - Foundations, Analysis and Internet Examples. John Wiley & Sons, Inc., 2002. ISBN: 0-471-38365-1.

Kapitel 8 af følgende bog vil blive udleveret til forelæsningen i Uge 5. De øvrige kapitler i bogen vil ikke blive gennemgået i kurset.

Jon Bentley: Programming Pearls, Second Edition. Addison-Wesley, Inc., 2000. ISBN 0-201-65788-0.

Forelæsningerne i uge 9-11 vil dække dele af følgende note, der vil kunnne købes i Gad Stakbogladen Naturfag i slutningen af uge 9.

Mikkel Nygaard Hansen og Erik Meineche Schmidt: Transition Systems, DAIMI-FN-64, February 2004.

Nyhedsgruppe

DAIMI nyhedsgruppen daimi.dADS kan benyttes til diskussioner om opgaver og lignende.


Denne side vedligholdes af Gerth Stølting Brodal <gerth@cs.au.dk>