ID: 2962
Open
Artikel ID: #2962 is op jouw verlanglijst gezet.
Beschrijving
Leerboek der algebra III
Dr. Th.G.D. Stoelinga, Dr. M.G. van Tol
XVIII. Limieten
XIX. Gebroken funkties en haar grafieken
XX. Oneigenlijke machten
XXI. Logaritmen
XXII. Vervolg van de logaritmen
XXIII. Het getalbegrip, Imaginaire getallen
XXIV. Reststelling. Bijzondere hogere machtsvergelijkingen
XXV. Stelsels van vergelijkingen, die niet alle lineair zijn
XXVI. Reeksen
XXVII. Differentiaalrekening
XXVIII. Integraalrekening
XXIX. Samengestelde interest
Dr. Th.G.D. Stoelinga, Dr. M.G. van Tol
XVIII. Limieten
XIX. Gebroken funkties en haar grafieken
XX. Oneigenlijke machten
XXI. Logaritmen
XXII. Vervolg van de logaritmen
XXIII. Het getalbegrip, Imaginaire getallen
XXIV. Reststelling. Bijzondere hogere machtsvergelijkingen
XXV. Stelsels van vergelijkingen, die niet alle lineair zijn
XXVI. Reeksen
XXVII. Differentiaalrekening
XXVIII. Integraalrekening
XXIX. Samengestelde interest
Specificaties
- Auteur
- Dr. Th.G.D. Stoelinga, Dr. M.G. van Tol
- Uitgever
- Tjeenk Willink
- Jaar
- 1955
- Druk
- 8
- Aantal pagina's
- 164
- Taal
- Nederlands
- Doos
- B02
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Leerboek der Perspectief 1
Leerboek der Perspectief 1W.C.A. Ridderhofer Perspectief 1W.C.A. Ridderhof
€4,00
Aufgaben und Lösungen zur Linearen Algebra und Analytischen Geometrie 2
Aufgaben und Lösungen zur Linearen Algebra und Analytischen Geometrie 2Josef Heinhold, Bruno Riedmüller, Herbert Fisher6. Lineare und affine Abbildungen und Transformationen
7. Quadratische Formen und Bilinearformen
8. Eigenwerte und Eigenräume von Matrizen
9. Hyperflächen 2. Ordnung in reellen Punkträumen
10. Grundbegriffe der projektiven Geometrie
€2,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
