Beschrijving
Wiskunde Opgaven
Dr. E.H.M. Beekman
Van het propaedeutisch examen aan de T.H. Volledige en beknopte cursus
Dr. E.H.M. Beekman
Van het propaedeutisch examen aan de T.H. Volledige en beknopte cursus
Specificaties
- Auteur
- Dr. E.H.M. Beekman
- Uitgever
- Vereeniging tot het uitgeven van beknopte handleidingen bij het onderwijs aan de technische hoogeschool
- Jaar
- 1915
- Druk
- 3
- Aantal pagina's
- 128
- Taal
- Nederlands
- Doos
- B39
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Middel-Algebra
Middel-AlgebraP. Wijdenes, Dr. F. SchuhVerschillende onderwerpen uit de lagere algebra en inleiding tot de hoogere algebra
ALGEBRA
Voortzetting der Lagere Algebra
Ongelijkheden
Bewijzen door volledige inductie
Rekenkundige reeksen
Meetkundige reeksen
Reken-meetkundige reeks
Harmonische reeksen
Harmonische ligging
Samengestelde intrest
Examen-opgaven Wiskunde L.O. (1891-1920)
Inleiding tot de Hoogere Algebra
Permutaties en combinaties
Geheele positieve machten van een en tweeterm
Machten van ee...
€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
