• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
An introduction to mathematical reasoning :

پدید آورنده
Peter J. Eccles

موضوع
Proof theory

رده
QA9
.
54
.
E23
1997

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
0521592690
(Number (ISBN
0521597188 (pb)
(Number (ISBN
9780521592697
(Number (ISBN
9780521597180 (pb)

NATIONAL BIBLIOGRAPHY NUMBER

Number
dltt

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
An introduction to mathematical reasoning :
General Material Designation
[Book]
Other Title Information
numbers, sets, and functions /
First Statement of Responsibility
Peter J. Eccles

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Cambridge University Press,
Date of Publication, Distribution, etc.
1997

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xii, 350 p. :
Other Physical Details
ill. ;
Dimensions
24 cm

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographical references (p. 345) and index

CONTENTS NOTE

Text of Note
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

PARALLEL TITLE PROPER

Parallel Title
Mathematical reasoning

TOPICAL NAME USED AS SUBJECT

Proof theory

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA9
.
54
Book number
.
E23
1997

PERSONAL NAME - PRIMARY RESPONSIBILITY

Eccles, Peter J.,1945-

ORIGINATING SOURCE

Date of Transaction
20130220075616.0

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival