ID: 3164
Open
Artikel ID: #3164 is op jouw verlanglijst gezet.
Beschrijving
Wiskunde voor Statistiek - Een voorbereiding
Franken, W.M., Bouts, R.A.
oor Statistiek - Een voorbereidingFranken, W.M., Bouts, R.A.
Franken, W.M., Bouts, R.A.
oor Statistiek - Een voorbereidingFranken, W.M., Bouts, R.A.
Specificaties
- Auteur
- Franken, W.M., Bouts, R.A.
- Uitgever
- Uitgeverij Coutinho
- Jaar
- 2015
- Druk
- -
- Aantal pagina's
- 135
- Taal
- Nederlands
- Doos
- B35
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Geprogrammeerde Instructie Moderne Wiskunde
Geprogrammeerde Instructie Moderne WiskundeW. Fred van Raaij1. Getallen en bewerkingen
2. Verzamelingen
3. Grafiek van een rechte lijn
4. Functies, spiegelen
5. Exponenten, wortels, logaritmen
6. Lineaire vergelijkingen en ongelijkheden
7. Vierkantsvergelijkingen
8. Permutaties en combinaties
9. Parabool, hyperbool, logaritmische functie
10. Inverse functies
11. Goniometrie
12. Oppervlakten
13. Rijen
14. Sigma-teken
15. Limieten
16. Differentiaalrekening
17. Extreme waarden
18. Integraalrekening...
€2,00
Übungensammlung zu einer geometrischen Propädeuse
Übungensammlung zu einer geometrischen PropädeuseT. Ehrenfest-AfanassjewaI. Strecken
II. Winkel
III. Gerade als Drehaxe
IV. Der Kürzeste Abstand Zwischen Zwei Punkten
V. Gerade als Lichtstrahl
VI. Ebene und Linienflächen
VII. Unendlichkeit der Geraden, Parallelle Geraden
VIII. Gegenseitige Lage von Geraden und Ebenen
IX. Lage der Geraden und Ebenen Bezüglich des Horizontes
X. Ebene Schnitte von Flächen; Schatten; Perspektivische Bilder
XI. Zwei- und Dreiflachswinkel
XII. Symmetrie
XIII. Ge...
€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