|
" An introduction to mathematical reasoning : "
Peter J. Eccles
Document Type
|
:
|
BL
|
Record Number
|
:
|
631084
|
Doc. No
|
:
|
dltt
|
Main Entry
|
:
|
Eccles, Peter J.,1945-
|
Title & Author
|
:
|
An introduction to mathematical reasoning : : numbers, sets, and functions /\ Peter J. Eccles
|
Publication Statement
|
:
|
Cambridge ;New York :: Cambridge University Press,, 1997
|
Page. NO
|
:
|
xii, 350 p. :: ill. ;; 24 cm
|
ISBN
|
:
|
0521592690
|
|
:
|
: 9780521592697
|
|
:
|
: 0521597188 (pb)
|
|
:
|
: 9780521597180 (pb)
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references (p. 345) and index
|
Contents
|
:
|
Pt. I. Mathematical statements and proofs. 1. The language of mathematics. 2. Implications. 3. Proofs. 4. Proof by contradiction. 5. The induction principle -- Pt. II. Sets and functions. 6. The language of set theory. 7. Quantifiers. 8. Functions. 9. Injections, surjections and bijections -- Pt. III. Numbers and counting. 10. Counting. 11. Properties of finite sets. 12. Counting functions and subsets. 13. Number systems. 14. Counting infinite sets -- Pt. IV. Arithmetic. 15. The division theorem. 16. The Euclidean algorithm. 17. Consequences of the Euclidean algorithm. 18. Linear diophantine equations -- Pt. V. Modular arithmetic. 19. Congruence of integers. 20. Linear congruences. 21. Congruence classes and the arithmetic of remainders. 22. Partitions and equivalence relations -- Pt. VI. Prime numbers. 23. The sequence of prime numbers. 24. Congruence modulo a prime
|
Subject
|
:
|
Proof theory
|
LC Classification
|
:
|
QA9.54.E23 1997
|
Parallel Title
|
:
|
Mathematical reasoning
|
| |