Formal Development of Programs and Proofs Edsger W. Dijkstra (Ed.)
1. Constructive type theory: a perspective from computing science -
R. C. Backhouse
2. The maximum-segment-sum problem - D. Gries
3. Inorder traversal of a binary tree and its inversion - D. Gries, J. L. van de Snepscheut
4. A hands-in-the pocket presentation of a k-majority vote algorithm -
D. Gries
5. A small problem on rectangles - A. J. van Gasteren
6. On the formal derivation of a proof of the invariance theorem -
A. J. van Gasteren
7. A problem on bichrome 6-graphs - A. J. van Gasteren
8. Formal program transformations for VLSI circuit synthesis - A. J. Martin
9. Programs from specifications - J. M. Morris
10. Piecewise data refinement - J. M. Morris
11. Exercises in formula manipulation - W. H. Feijen
12. Multiplication and division of polynomials - M. Rem
13. A parallel program that generates the Möbius sequence - M. Rem,T. Verhoeff
14. Distribution and inversion of Warshall's algorithm - J. L. van de Snepscheut
15. A distributed algorithm for mutual exclusion: an experiment in presentation - J. L. van de Snepscheut
16. The derivation of a proof - J. S. van de Woude, Edsger W. Dijkstra
17. Fillers at the YoP Institute - Edsger W. Dijkstra
18. Influences (or lack thereof) of formalism in teaching programming and software engineering - D. Gries
Specificaties
Betalingen & retouren
Betaalmethoden
Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
GPS en wiskundeJan van den BrinkBron: Met een wonder in de hand…
Opdrachten
1. GPS, geschiedenis en basisideeën
2. Toepassingen en informatie
3. Pages op de GPS
4. Gebruikers aan het woord
5. Jij als gps
Onderzoek
Presentatie
Aanwijzingen
De geheime code - de gulden snede als goddelijke verhouding in kunst, natuur en wetenschapPriya Hemenway1. De gulden snede
2. Pythagoras en het geheim van de getallen
3. Fibonacci en de fibonaccireeks
4. Architectuur, kunst en muziek
5. De gulden snede in de natuur
6. De gulden snede in de wetenschap
7. De gulden snede in de mystiek
Lessen in Projectieve MeetkundeMartin Kindt1. Diepte en geen diepte
2. Parallelprojectie als schaduwmodel
3. Tekenen in perspectief
4. Centrale projectie
5. Het begrip dubbelverhouding
6. Over projectieve en andere eigenschappen
7. Puntenreeks en lijnenwaaier
8. Het projectieve vlak en het dualiteitsprincipe
9. Hoe harmonisch is de volledige vierhoek
10. Perspectiviteit en projectiviteit
11. De stelling van Pappos
12. De constructie van Steiner
13. Projectiviteit en gebroken lineair...
Op een goudschaalJelske KuijperAfwegingen over de gulden snede
Bron: Navel in het goud!
Opdrachten
1. De Gulden Snede: echt of bedacht?
2. Historische goudmijnen
3. Gouden figuren
4. Gouden getallen
5. Natuurlijk goud; vergulde kunst
Onderzoek
Presentatie
Antwoorden
€2,00
1 bod
De veiling website gebruikt functionele cookies. We gebruiken Google ReCaptcha (v2) om spambots tegen te gaan. Als je doorgaat stem je in met het gebruik van deze cookies.