ID: 1256
Gesloten
Artikel ID: #1256 is op jouw verlanglijst gezet.
Beschrijving
Steen en schelp
Dr. O. Bottema
Keuze uit redevoeringen en opstellen van Dr. O. Bottema, hem aangeboden bij zijn afscheid als hoogleraar aan de Technische Hogeschool Delft op 4 juni 1971
Dr. O. Bottema
Keuze uit redevoeringen en opstellen van Dr. O. Bottema, hem aangeboden bij zijn afscheid als hoogleraar aan de Technische Hogeschool Delft op 4 juni 1971
Specificaties
- Auteur
- Dr. O. Bottema
- Uitgever
- Technische Hogeschool Delft
- Jaar
- 1971
- Druk
- -
- Aantal pagina's
- 239
- Taal
- Nederlands
- Doos
- B31
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Pythagoras - Jaargang 47
Pythagoras - Jaargang 47Wiskundetijdschrift voor jongeren
De volledige jaargang 47, 2007-2008
€1,00
Vraagstukken over Analyse en Algebra 1
Vraagstukken over Analyse en Algebra 1W.J.H. Salet e.a.I. Inleiding
II. Complexe getallen
III. Limieten van rijen
IV. Limieten van functies; continuïteit
V. Differentiëren met toepassingen
VI. Integreren
VII. Meetkundige toepassingen van de differentiaal- en integraalrekening
VIII. Reeksen
IX. Differentiaalvergelijkingen
Antwoorden
€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
Pythagoras - Jaargang 30
Pythagoras - Jaargang 30Wiskundetijdschrift voor jongeren
De volledige jaargang 30, 1990-1991
€1,00