Ontwerp van Algoritmen 1 (2IA10)

Winter 2006-2007

Zie ook de TUE Onderwijsinformatie voor 2IA10 en 2IA14 (deeltentamen).

M E D E D E L I N G E N
19-jun-2007	Tentamen inzien kan in HG 5.38 op vrijdag 22 juni van 12:30 tot 13:30 maandag 25 juni van 12:30 tot 13:30
15-jun-2007	Wegens ziekte bij de stud.adm. is de cijferinvoer vertraagd. Onofficële uitslag tentamen d.d. 11 mei 2007
16-mrt-2007	Opgavenbundel en rh276a toegevoegd.
13-mrt-2007	De checklist is nog wat uitgebreid.
14-jan-2007	Dit is geen officiële vakpagina.

Oude pagina's:

Winter 2003-2004: Hier is het deeltentamen en tentamen te vinden (geen uitwerkingen).
Winter 2002-2003: Hier is de toets van feb. 2003 te vinden, samen met een gedetailleerde uitwerking en aanwijzingen bij het nakijken.

Wat extra materiaal:

Opgavenbundel (Rob Hoogerwoord, 22 nov. 2006)
Een paar praktische stellinkjes (rh276a)
Formuleblad
Checklist: samenvatting van de stof (staartinvariant/staartrecursie en searching horen niet bij het deeltentamen)
Enkele berekeningspatronen bij het ontwerpen van repetities
De paragrafen 1 t/m 4 van deze notitie zijn nuttig voor het deeltentamen. De rest komt pas na het deeltentamen aan bod. Paragraaf 7 ontbreekt.
Dit stukje motiveert de redactie van de berekeningen bij phi-programma's en bij staartinvarianten.
(Bounded) Linear Search by Tail Recursion
Een kort stukje om te laten zien hoe een staartinvariant de afleiding van de (bounded) linear search bekort.
Related to the fusc, exercise 3, p.79, in Kaldewaij's Programming: Derivation of Algorithms (1990):
- Edsger W. Dijkstra. An exercise for Dr.R.M.Burstall, EWD570, 1976.
- Edsger W. Dijkstra. More about the function ``fusc'' (A sequel to EWD570), EWD578, 1976.
- Brian Hayes. The oddest numbers. Weblog, 10 May 2006.
gcl_latex_style.zip: LaTeX package by Gerard Zwaan for Eindhoven-style derivations, and GCL and Pascal programs, including some examples.
There is also a GCL definition for the listings package. (It doesn't seem to work out of the box, but I have a workaround, which I will make available later.)