ID: 2112
Open
Artikel ID: #2112 is op jouw verlanglijst gezet.
Beschrijving
Meetkunde met vectoren 2
L.R.J. Westermann
1. Afhankelijkheid en onafhankelijkheid van vectoren
2. Afbeeldingen
3. Basis- en coördinatentranformaties met toepassingen
L.R.J. Westermann
1. Afhankelijkheid en onafhankelijkheid van vectoren
2. Afbeeldingen
3. Basis- en coördinatentranformaties met toepassingen
Specificaties
- Auteur
- L.R.J. Westermann
- Uitgever
- Wolters-Noordhoff
- Jaar
- 1970
- Druk
- 1
- Aantal pagina's
- 162
- Taal
- Nederlands
- Doos
- B02
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
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
Opgaven wiskunde A havo
Opgaven wiskunde A havoJ.W. Maassen, H. Schuring red.Eindexamenprogramma wiskunde A
1. Tabellen, grafieken, formules
2. Discrete wiskunde
3. Statistiek en kansrekening
4. Examenopgaven
5. Antwoorden
€2,00
Beknopt leerboek der differentiaal- en integraalrekening
Beknopt leerboek der differentiaal- en integraalrekeningDr. N.G. de Bruijnten behoeve van het onderwijs aan hogere technische scholen
I. Het reële getal en het limietbegrip
II. Functies van één veranderlijke
III. Differentiaalquotiënten
IV. Differentiatie van machtsfuncties en van exponentiële en logarithmische functies
V. Bepaalde en onbepaalde integralen
VI. Reeksen
VII. Functies van twee veranderlijken
VIII. Differentiaalvergelijkingen
IX. Complexe getallen
€2,00
Theorie en praktijk - Leerboek der rekenkunde voor hoogere burgerscholen, deel 1
Theorie en praktijk - Leerboek der rekenkunde voor hoogere burgerscholen, deel 1H.A. Derksen, G.L.N.H. De LaiveHoofdbewerkingen
Talstelsels
Deelbaarheid
Ontbinding in factoren
Breuken
Verhoudingen
€2,00