ID: 3099
Open
Artikel ID: #3099 is op jouw verlanglijst gezet.
Beschrijving
De Nederlandse Wiskunde Olympiade
Fred Bosman e.a.
ndse Wiskunde OlympiadeFred Bosman e.a.
Fred Bosman e.a.
ndse Wiskunde OlympiadeFred Bosman e.a.
Specificaties
- Auteur
- Fred Bosman e.a.
- Uitgever
- Stichting Nederlandse Wiskunde Olympiade
- Jaar
- 2002
- Druk
- 1
- Aantal pagina's
- 72
- Taal
- Nederlands
- Doos
- B26
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Simon Spitzers Tabellen für die Zinseszinsen- und Rentenrechnung
Simon Spitzers Tabellen für die Zinseszinsen- und RentenrechnungDr. Emil Foersterzers Tabellen für die Zinseszinsen- und RentenrechnungDr. Emil Foerster
€5,00
Handleiding wiskundedidactiek
Handleiding wiskundedidactiekDrijver, Paul, Streun, Anne van, Zwaneveld, Bertg wiskundedidactiekDrijver, Paul, Streun, Anne van, Zwaneveld, Bert
€10,00
Normalization, Cut-Elimination and the Theory of Proofs
Normalization, Cut-Elimination and the Theory of ProofsA.M. UngarIntroduction
1 Background
2 Comparing NJ with LJ
3 Natural Deduction Revisited
4 The Problem of Substitution
5 A Multiple-Conclusion Calculus
6 Reduction Procedures
7 Correspondence Results
8 Interpretations of Derivations
Appendices
A. A Strong Cut-Elimination Theorem for LJ
B. A Formulation of the Classical Sequent Calculus
C. Proofs and Categories
€2,00
Linear Algebra an Interactive Laboratory Approach with Mathematica
Linear Algebra an Interactive Laboratory Approach with MathematicaJohn R. Wicks1. Introductory Material
2. Linear Systems and Gaussian Elimination
3. Matrix Algebra
4. Systems fron Two Advanced Viewpoints
5. Abstract Vector Spaces and Bases
6. Inner Product Spaces
7. Change of Basis and Eigensystems
€5,00