یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. 345) and index
یادداشتهای مربوط به مندرجات
متن يادداشت
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
بدون عنوان
0
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
Mathematical reasoning
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Proof theory
رده بندی کنگره
شماره رده
QA9
.
54
نشانه اثر
.
E23
1997
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )