Nieuwe Algebra IDr. P.G.J. Vredenduin, Dr. A. van Haselen1. De natuurlijke getallen
2. De gehele getallen
3. Ontbinding in factoren
4. Deling
5. Rationale getallen
6. Vergelijkingen
7. Evenredigheden
Inleiding tot de differentiaal- en integraalrekeningDr. H.J.E. BethI. Limieten van varianten
II. Limieten van functies
III. Continuïteit van functies
IV. De exponentiële en de logarithmische functie
V. Het differentiaalquotiënt
VI. Regels voor de berekening van differentiaalquotiënten; eigenschappen van het differentiaalquotiënt
VII. Het tweede differentiaalquotiënt; hoogere differentiaalquotiënten
VIII. Oneindige reeksen
IX. Reeksen van Maclaurin en Taylor
X. Berekening van grenswaarden
...
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
Leerboek der Differentiaal- en Integraalrekening, en van de theorie der Differentiaalvergelijkingen IIDr. Hk. de VriesI. Theorie der bepaalde integralen
II. Aanvulling van de leer der dubbele en meervoudige integralen. Lijn- en oppervlakintegralen
III. De integralen van Euler, of de Bêta- en Gammafunctie
IV. Oneindige reeksen. Niet differentieerbare functies. De reeks van Euler
V. Elliptische integralen en functies
VI. Functies van één complexe variabele
VII. Integralen en reeksen van functie...
De veiling website gebruikt functionele cookies. We gebruiken Google ReCaptcha (v2) om spambots tegen te gaan. Als je doorgaat stem je in met het gebruik van deze cookies.