ID: 3201 Open

Linear Algebra

€2,00

Aantal: 1

3 kijkend 7 weergaven

Beschrijving

Linear Algebra
J.B. Fraleigh, R.A. Beauregard

1. Vectors, Matrices, and Linear Systems
2. Dimension, Rank, and Linear Transformations
3. Vector Spaces
4. Determinants
5. Eigenvalues and Eigenvectors
6. Orthogonality
7. Change of Basis
8. Eigenvalues: Further Applications and Computations
9. Complex Scalars
10. Solving Large Linear Systems

Specificaties

Auteur: J.B. Fraleigh, R.A. Beauregard
Uitgever: Addison-Wesley
Jaar: 1995
Druk: 3
Aantal pagina's: 538
Taal: Engels
Doos: B44

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