• Kursusforside
• Eksamen
• dADS2 kursusside
• dADS1 - forår 2004

Meddelelser

• 12/8: Eksamensopgaverne august 2005.
• 23/6: Ifølge den foreløbige eksamensplan er dADS 1 re-eksamen den 11. august 2005.
• 22/6: Tilmelding til dADS 1 re-eksamen i august 2005 skal ske på universitets selvbetjening i perioden den 4.-17. juli 2005.
• 10/4: Eksamensopgaverne april 2005 og vejledende besvarelse.
• 9/3: Ifølge den endelige eksamensplan er dADS 1 eksamen den 1. april 2005.
• 8/3: Forside til eksamensopgaverne 1. april.
• 8/3: Pensum til eksamen.
• ældre meddelelser

Ugesedler

• Uge 4 | 5 | 6 | 7 | 8 | 9 | 10
• Alle 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æsninger

Mandag 14.15-16.00 og fredag 12.15-14.00 i Auditorium E (1-533-103).

Forelæser

Øvelser

Materiale

Kernen af kursusmaterialet udgøres af følgende bog, som kan købes i Gad Stakbogladen Naturfag. Bogen vil også blive brugt i Algoritmer og Datastrukturer 2 (4. kvarter, foråret 2005).

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 4. 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-10 vil dække dele af følgende note, der vil kunnne købes i Gad Stakbogladen Naturfag i slutningen af uge 8.

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

Webboard