Computer algebra

Andries Brouwer, aeb@cwi.nl

1. Computer algebra

• 1.1 Intermezzo: Tekenverzamelingen
• 1.2 Intermezzo: Unix en Linux
• 1.3 Intermezzo: Etymologie

2. Computers

• 2.1 Eenvoudig model
• 2.2 PDP8

3. Getalrepresentaties

• 3.1 Binary Coded Decimal
• 3.2 Binaire representatie
• 3.3 Intermezzo: het NIM spel
• 3.4 Negatieve getallen
• 3.5 Meervoudige lengte aritmetiek
• 3.6 Intermezzo: Cryptografie
• 3.7 Drijvende komma
• 3.8 Little-endian vs. big-endian

4. Recursie

• 4.1 Spelletjes
• 4.2 Grammatica's
• 4.3 Lindenmayersystemen
• 4.4 Fractals
• 4.5 Intermezzo: Etymologie

5. Algorithmen en data structuren

• 5.1 Snelheid: sorteren
• 5.2 Snelheid: matrixvermenigvuldiging
• 5.3 Snelheid en representatie
• 5.4 Geheugengebruik
• 5.5 Nauwkeurigheid en stabiliteit

6. Het diagonaalargument

• 6.1 Formalisering van logica en bewijzen
• 6.2 Aritmetisering
• 6.3 De onvolledigheidsstelling

7. Parameter mechanismen, binding van variabelen

• 7.1 Referentie
• 7.2 Textuele substitutie
• 7.3 Call by value
• 7.4 Call by name
• 7.5 Call by reference
• 7.6 Call by copy
• 7.7 Call by need - lazy evaluation
• 7.8 Niet variabele variabelen
• 7.9 Mathematica

8. Java applet overzicht

9. Problemen overzicht