Zie ook de TUE Onderwijsinformatie voor 2IA10.
M E D E D E L I N G E N | |
---|---|
19-jan-2004 | Het formuleblad is toegevoegd onder Referenties. |
19-jan-2004 | De referenties zijn bijgewerkt. |
17-dec-2003 |
U wordt ten zeerste aangeraden aantekeningen te maken op het college en deze direct daarna te consolideren. |
A. Kaldewaij.
Programming: The Derivation of Algorithms.
Prentice Hall, 1990.
Zelf aanschaffen (verplicht).
R. R. Hoogerwoord.
Elementaire Predikatenrekening.
Persoonlijke notitie, RH265e.
Een paar praktische stellinkjes
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")