Bridge to abstract mathematics / Ralph W. Oberste-Vorth, Aristides Mouzakitis and Bonita A. Lawrence.
Material type:
- 9780883857793 (print)
- 0883857790 (print)
- 511.3 23 Ob12
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata | 511.3 Ob12 (Browse shelf(Opens below)) | Available | 135636 |
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | |||||
511.3 N664 Development of mathematical logic | 511.3 N855 Discrete structures | 511.3 N943 Elements of mathematical logic | 511.3 Ob12 Bridge to abstract mathematics / | 511.3 Oo59 Realizability | 511.3 Or66 Problems in the constructive trend in mathematics : proceedings | 511.3 P123 Computing in Horn clause theories / |
Includes bibliographical references (page 223) and index.
1. Introduction--
2. Statements in mathematics --
3. Proofs in mathematics --
4. Basic set operations --
5. Functions --
6. Relations on a set --
7. Cardinality --
8. Algebra of number systems --
9. The natural numbers --
10. The integers --
11. The rational numbers --
12. The real numbers --
13. Cantor's reals --
14. The complex numbers --
15. Time scales --
16. The delta derivative --
17. Hints for (and comments on) the exercises--
Bibliography--
Index.
A complete guide to mathematical proof, with plentiful exercises and examples. Ideal for educators, and as preparation for students.
There are no comments on this title.