Zie ook de TUE Onderwijsinformatie voor 2IA10.
M E D E D E L I N G E N | |
---|---|
24-feb |
Alle uitgedeelde opgaven zijn nu ook digitaal beschikbaar. Zie referenties [2] t/m [11] hieronder. |
21-feb |
Onder referenties zijn opgenomen: Overzicht met kwantorformules en Tentameneisen |
20-feb |
Tentamenadvies.
De beste tentamenvoorbereiding is, vanaf vandaag, |
7-feb |
Toets van februari 2003 Een uitwerking Aanwijzingen bij nakijken |
12-dec |
Zend uw oplossing voor Opgave 0 (smaakmaker: de maximale segmentsom)
naar PEACH en maak kans op een boekenbon van EUR 20. (Eerst koppelen aan groep "Ontwerp van Algoritmen 1".) |
02-dec |
U wordt ten zeerste aangeraden aantekeningen te maken op het college en deze direct daarna te consolideren. |
College | Datum | Thema | Referenties | Opgaven |
---|---|---|---|---|
1 | 03-dec | Programmaspecificatie met predikaten | Ch. 0, 1 uit [1]; [2] | Zie [3] |
2 | 05-dec | Hoare triples (skip, :=) | Ch. 2 t/m 2.2 uit [1] | Zie [3] |
3 | 10-dec | Zwakste oplossing, compositie (;) | Ch. 2.3 uit [1] | Zie [3] |
- | 12-dec | Uitgevallen | - | - |
4 | 17-dec | Selectie (if-fi) | Ch. 2.4 uit [1] | Zie [4] |
5 | 19-dec | MaxSegSum | pp.67-69 uit [1] | 45 t/m 53 |
6 | 07-jan | algemene regels voor Hoare triples; invariant; initialisatie, invariantie, finalisatie bij do B -> S od | Ch. 2.0, 2.5 (p.28-29 tot kader) uit [1] | 54 t/m 61 |
7 | 09-jan | samengestelde invariant; algemene do-od | Ch. 2.5 (p.29-30) uit [1] | 62 t/m 68 |
8 | 14-jan | eindiging do B -> S od | Ch. 2.5 (rest) uit [1] | 70, 71, 74, 75 |
9 | 16-jan | div en mod; kandidaat invariant kiezen | p.18-19; Ch. 4 t/m 4.2 uit [1] | 72, ... |
10 | 28-jan | stappenplan, standaardeindiging, phi-schema, goedgedefinieerdheid | p.58-61, p.19 uit [1] | 83, ... |
11 | 28-jan | invariant versterken, invariant over twee dummies | 4.3 uit [1] | 83, ... |
12 | 05-feb | dummytransformaties bij kwantoren, geneste repetities | ? uit [1] | 99, ... |
13 | 07-feb | staartrecursie, staartinvariant; efficient machtsverheffen | p.77-78 uit [1] | 103, ... |
14 | 11-feb | stelling m.b.t. lineair-recursieve functie; cijfersom | 4.4 uit [1] | 109, ... |
15 | 13-feb | werkwijze t.b.v. staartrecursie | 4.4 uit [1] | 109, ... |
16 | 18-feb | voorbeeld met maximale segmentlengte | 7.1.2 uit [1] | 109, ... |
17 | 20-feb | extraatje: tabel met priemgetallen berekenen (laatste college) | Vergelijk met [12, 13] | 109, ... |
A. Kaldewaij.
Programming: The Derivation of Algorithms.
Prentice Hall, 1990.
Zelf aanschaffen (verplicht).
R. R. Hoogerwoord.
Elementaire Predikatenrekening.
Persoonlijke notitie, RH265d.
Uitgedeeld op eerste instructie.
Ontwerp van Algoritmen: opgaven week 1 en 2
Uitgedeeld op eerste instructie.
Ontwerp van Algoritmen: opgaven week 2b
Uitgedeeld op vierde instructie (vrijdag 13 december 2002).
Ontwerp van Algoritmen: opgaven week 3 en 4 (gecorrigeerde versie)
Veelal uitgedeeld in etappes.
Ontwerp van Algoritmen: opgaven week 5
Uitgedeeld op woensdag 15 januari 2003.
Ontwerp van Algoritmen: opgaven week 6 (inclusief het stappenplan)
Uitgedeeld op woensdag 29 januari 2003.
Ontwerp van Algoritmen: opgaven week 7
Uitgedeeld op woensdag 5 februari 2003.
Ontwerp van Algoritmen: opgaven week 8
Uitgedeeld op woensdag 12 februari 2003.
<Zonder titel> (cheat sheet met kwantorformules)
Uitgedeeld op vrijdag 21 februari 2003.
Ontwerp van Algoritmen 2002/03: Tentameneisen
Uitgedeeld op vrijdag 21 februari 2003.
Extra: E. W. Dijkstra, "Notes on Structured Programming", in O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare. Structured Programming. Academic Press, 1972. (m.n. paragraaf I.9, "A First Example of Step-wise Program Composition")
Extra: D. E. Knuth. Literate Programming. Center for the Study of Language and Information, 1992. (m.n. hoofdstuk 4 "Literate Programming")