ID: 3793
Gesloten
Beschrijving
complete jaargang
Specificaties
- Auteur
- R. Kooistra; G.R. Veldkamp (red.)
- Uitgever
- P. Noordhoff
- Jaar
- 1963
- Druk
- -
- Aantal pagina's
- -
- Taal
- Nederlands
- Doos
- NTW
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Numerieke zaken uit Analyse
Regula falsiLinearisering interpolatieformule van Lagrange numerieke nulpuntsbepalingNumerieke integratieFoutenleerGewone differentiaalvergelijkingen (de methode van Heun)Rijen en reeksen
€2,00
Normalization; Cut-Elimination and the Theory of Proofs
Introduction1 Background2 Comparing NJ with LJ3 Natural Deduction Revisited4 The Problem of Substitution5 A Multiple-Conclusion Calculus6 Reduction Procedures7 Correspondence Results8 Interpretations of DerivationsAppendicesA. A Strong Cut-Elimination Theorem for LJB. A Formulation of the Classical Sequent CalculusC. Proofs and Categories
€2,00
Beginning Calculus with Applications
1. Functions Limits and Continuity2. The Derivative3. More About the Derivative4. Antiderivatives and Definite Integrals5. More About the Integral6. Exponential and Logarihm Functions7. Functions of Several VariablesAppendix 1. PrelimininariesAppendix 2. TrigonometryAppendix 3. Sequences and Series
€2,00