Discrete Wiskunde voor TW Tentamens
(en een uitwerking van het voorbeeldtentamen van 1996)
[weer beschikbaar!] | | Pythagoras |
Op pagina 114, 115 van het boek [N.L.Biggs, Discrete Mathematics (rev.ed.), Oxford(1994)] staat hoe modulo 9 "by casting out nines" een geheeltallige berekening eenvoudig te controleren is. Deze test is in Duitsland als "Neunerprobe" bekend geworden door de rekenmeester Adam Ries(e). "Volgens Bartjens" heet daar "Nach Adam Riese".
Informatie over drie beroemde en recentelijk [met massief gebruik van de computer] opgeloste* problemen uit de discrete wiskunde is te vinden op de drie volgende sites:
Laatste nieuws [2004]: Met behulp van de "bewijs-assistent" coq ontwikkeld op het Franse research centrum INRIA heeft Georges Gonthier het volledige bewijs uit 1994 van Robertson et al. omgezet in een voor wiskundigen, met gebruik van het programma coq (!), controleerbare vorm. De volgende sites bevatten achtereenvolgens algemene historische informatie en meer speciale te weten over wiskundige postzegels, wiskundige notaties en woordgebruik. De laatste drie worden onderhouden door Jeff Miller . | ![]() a solution to Keppler's problem in 2D by an unknown Palomena prasina ![]() |
| Euclides Punctum est cui pars non est (quod partem non habet) |