Beschrijving
Basisvaardigheden Toegepast rekenen
G.J.S. Reus e.a.
igheden Toegepast rekenenG.J.S. Reus e.a.
G.J.S. Reus e.a.
igheden Toegepast rekenenG.J.S. Reus e.a.
Specificaties
- Auteur
- G.J.S. Reus e.a.
- Uitgever
- Wolters -Noordhoff
- Jaar
- 2007
- Druk
- -
- Aantal pagina's
- 172
- Taal
- Nederlands
- Doos
- B33
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
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
Maple V - Learning Guide
Maple V - Learning GuideK.M. Heal, M.L. Hansen, K.M. Rickard1. Interactive Use of Maple
2. Mathematics with Maple: the Basics
3. Finding Solutions
4. Graphics
5. Evaluation and Simplification
6. Examples from Calculus
7. Input and Output
€2,00
Pythagoras - Jaargang 45
Pythagoras - Jaargang 45Wiskundetijdschrift voor jongeren
De volledige jaargang 45, 2005-2006
€1,00
Linear Algebra with Applications
Linear Algebra with ApplicationsOtto Bretscher1. Linear Equations
2. Linear Transformation
3. Subspaces of Rn and Their Dimensions
4. Linear Spaces
5. Orthogonality and Least Squares
6. Determinants
7. Eigenvalues and Eigenvectors
8. Symmetric Matrices and Quadratic Forms
9. Linear Differential Equations
€5,00