Denkende Machines -- Computers, rekenen, redeneren - CWI

Inhoudsopgave
1 Rekenen met Machines 5
1.1 De Geschiedenis van de Computer . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Hulpmiddelen bij het Rekenen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1 De Abacus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.2 Posities en Overdracht bij Gebruik van het Telraam . . . . . . . . . . . . 8
1.2.3 Positionele Getalnotatie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.4 Een Methode van Vermenigvuldigen . . . . . . . . . . . . . . . . . . . . . 12
1.2.5 De Vermenigvuldigingsmethode van John Napier . . . . . . . . . . . . . . 13
1.2.6 Logaritmen en de Rekenlineaal . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3 Antieke Rekenmachines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.1 De Rekenmachine van Wilhelm Schickard . . . . . . . . . . . . . . . . . . 15
1.3.2 De Pascaline . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.3 Aftrekken door Optellen van 9-complementen . . . . . . . . . . . . . . . . 18
1.3.4 De Rekenmachines van Gottfried Leibniz . . . . . . . . . . . . . . . . . . 18
1.3.5 Tabellen Maken met de Differentiemethode . . . . . . . . . . . . . . . . . 19
1.3.6 De Verschilmachine van Charles Babbage . . . . . . . . . . . . . . . . . . 21
1.4 Van Mechanische Rekenmachine naar Computer . . . . . . . . . . . . . . . . . . 21
1.4.1 De Analytische Machine van Charles Babbage . . . . . . . . . . . . . . . . 21
1.4.2 Elektrische en Elektronische Schakelingen . . . . . . . . . . . . . . . . . . 23
1.4.3 Elektrische en Elektronische Computers . . . . . . . . . . . . . . . . . . . 23
1.4.4 Transistors en Chips . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.4.5 Leibniz over Binair Rekenen . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.4.6 Binair Rekenen volgens George Boole . . . . . . . . . . . . . . . . . . . . 26
1.4.7 De Logische Piano van William Jevons . . . . . . . . . . . . . . . . . . . . 27
1.4.8 Boolese Algebra en Binaire Circuits . . . . . . . . . . . . . . . . . . . . . 28
1.4.9 Machinaal Kraken van Geheimschrift . . . . . . . . . . . . . . . . . . . . . 28
1.5 De Moderne Computer en de Toekomst . . . . . . . . . . . . . . . . . . . . . . . 30
1.5.1 Architectuur van de Moderne Computer . . . . . . . . . . . . . . . . . . . 30
1.5.2 Betrouwbaarheid en Snelheid . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.5.3 Biocomputers en Kwantumcomputers . . . . . . . . . . . . . . . . . . . . 31
2 Rekenen en Redeneren 33
2.1 Unair Rekenen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2 Binair Rekenen met Natuurlijke Getallen . . . . . . . . . . . . . . . . . . . . . . 34
3