ID: 3190
Open
Artikel ID: #3190 is op jouw verlanglijst gezet.
Beschrijving
Numerieke zaken uit Analyse
Dr. J.H.J. Almering e.a.
Regula falsi
Linearisering, interpolatieformule van Lagrange, numerieke nulpuntsbepaling
Numerieke integratie
Foutenleer
Gewone differentiaalvergelijkingen (de methode van Heun)
Rijen en reeksen
Dr. J.H.J. Almering e.a.
Regula falsi
Linearisering, interpolatieformule van Lagrange, numerieke nulpuntsbepaling
Numerieke integratie
Foutenleer
Gewone differentiaalvergelijkingen (de methode van Heun)
Rijen en reeksen
Specificaties
- Auteur
- Dr. J.H.J. Almering e.a.
- Uitgever
- Delftse Uitgevers Maatschappij
- Jaar
- 1978
- Druk
- 1
- Aantal pagina's
- 51
- Taal
- Nederlands
- Doos
- B39
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Darstellende Geometrie II
Darstellende Geometrie IIProf. Dr. Robert HaußnerPocketboek: Sammlung Göschen
€5,00
Pythagoras - Jaargang 42
Pythagoras - Jaargang 42Wiskundetijdschrift voor jongeren
De volledige jaargang 42, 2002-2003
€1,00
Problems and Theorems in Analysis II
Problems and Theorems in Analysis IIG. Pólya, G. Szegö4. Functions of One Complex Variable. Special Part
5. The Location of Zeros
6. Polynomials and Trigonometric Polynomials
7. Determinants and Quadratic Forms
8. Number Theory
9. Geometric Problems
€7,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