Why Use Logic? Why Prove Programs Correct?
Part I: Propositions and Predicates
1. Propositions
2. Reasoning using Equivalence Transformations
3. A Natural Deduction System
4. Predicates
5. Notations and Conventions for Arrays
6. Using Assertions To Document Programs
Part II: The Semantics of a Small Language
7. The Predicate Transformer wp
8. The Commands skip, abort and Composition
9. The Assignment Command
10. The Alternative Command
11. The Iterative Command
12. Procedure Call
Part III: The Development of Programs
13. Introduction
14. Programming as a Goal-Oriented Activity
15. Developing Loops from Invariants and Bounds
16. Developing Invariants
17. Notes on Bound Functions
18. Using Iteration Instead of Recursion
19. Efficiency Considerations
20. Two Larger Examples of Program Development
21. Inverting Programs
22. Notes on Documentation
23. Historical Notes
Specificaties
Betalingen & retouren
Betaalmethoden
Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Vlakke meetkunde voor het v.h. en m.o. deel IIA - VraagstukkenM. EilanderI. Inleiding
II. Hoeken
III. Evenwijdige lijnen
IV. Driehoeken
V. Gelijkbenige driehoeken
VI. Congruentie
VII. Eerste herhaling
VIII. Parallellogram, rechthoek en ruit
IX. Trapezium
X. Vierhoeken
XI. Veelhoeken
XII. Enige belangrijke stellingen
XIII. Ongelijkheden
XIV. Meetkundige plaatsen
XV. Cirkels
XVI. Constructies
XVII. Tweede herhaling
How to solve itG. PólyaA New Aspect of Mathematical Method
I. In the classroom
II. How to solve it
III. Short dictionary of heuristic
IV. Problems, hints, solutions
Kunst en WiskundeBruno Ernst, Ton Konings1. Wiskunde, kunst en schoonheid
2. Verhoudingen en maatstelsels
3. Rotondes en aanzichten
4. Vormveranderingen
5. Anamorfosen
6. Maaswerk
7. Pythagorasbomen
8. Spel met hol en bol
9. Varia
Handelen om te begrijpenBert Zwaneveld, Joop van DormolenEen werkwijze om leerlingen naar goede vaardigheden te wijzen
In samenwerking met de didactiekcommissie van de Nederlandse Vereniging van Wiskundeleraren
1. Hij heeft er niets van begrepen... of toch wel?
2. Handelen om te begrijpen
3. Slotopmerkingen
€2,00
0 biedingen
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.