|
" Mathematical proofs : "
Gary Chartrand, Albert D. Polimeni, Ping Zhang
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
582713
|
| Doc. No
|
:
|
GBB2B8844b411932
|
| Main Entry
|
:
|
Chartrand, Gary
|
| Title & Author
|
:
|
Mathematical proofs : : a transition to advanced mathematics /\ Gary Chartrand, Albert D. Polimeni, Ping Zhang
|
| Edition Statement
|
:
|
3rd ed
|
| Publication Statement
|
:
|
Boston :: Pearson Education,, ©2013
|
| Page. NO
|
:
|
xiii, 400 pages :: illustrations ;; 24 cm
|
| ISBN
|
:
|
9780321797094
|
|
|
:
|
: 0321797094
|
|
|
:
|
: 9780321782519 (Pearson international ed.)
|
|
|
:
|
: 0321782518 (Pearson international ed.)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (page 394) and indexes
|
| Contents
|
:
|
Communicating mathematics : Learning mathematics ; What others have said about writing ; Mathematical writing ; Using symbols ; Writing mathematical expressions ; Common words and phrases in mathematics ; Some closing comments about writing -- Sets : Describe a set ; Subsets ; Set operations ; Indexed collections of sets ; Partitions of sets ; Cartesian products of sets -- Logic : Statements ; The negation of a statement ; The disjunction and conjunction of statements ; The implication ; More on implications ; The biconditional ; Tautologies and contradictions ; Logical equivalence ; Some fundamental properties of logical equivalence ; Quantified statements ; Characterizations of statements -- Direct proof and proof by contrapositive : Trivial and vacuous proofs ; Direct proofs ; Proof by contrapositive ; Proof by cases ; Proof evaluations -- More on direct proof and proof by contrapositive : Proofs involving divisibility of integers ; Proofs involving congruence of integers ; Proofs involving real numbers ; Proofs involving sets ; Fundamental properties of set operations ; Proofs involving Cartesian products of sets -- Existence and proof by contradiction : Counterexamples ; Proof by contradiction ; A review of three proof techniques ; Existence proofs ; Disproving existence statements -- Mathematical induction : The principle of mathematical induction ; A more general principle of mathematical induction ; The strong principle of mathematical induction -- Prove or disprove : Conjectures in mathematics ; Revisiting quantified statements ; Testing statements -- Equivalence relations : Relations ; Properties of relations ; Equivalence relations ; Properties of equivalence classes ; Congruence modulo n ; The integers modulo n -- Functions : The definition of function ; The set of all functions from A to B ; One-to-one and onto functions ; Bijective functions ; Composition of functions ; Inverse functions ; Permutations -- Cardinalities of sets : Numerically equivalent sets ; Denumerable sets ; Uncountable sets ; Comparing cardinalities of sets ; The Schroder-Bernstein theorem -- Proofs in number theory : Divisibility properties of integers ; The division algorithm ; Greatest common divisors ; The Euclidean algorithm ; Relatively prime integers ; The fundamental theorem of arithmetic ; Concepts involving sums of divisors -- Proofs in calculus : Limits of sequences ; Infinite series ; Limits of functions ; Fundamental properties of limits of functions ; Continuity ; Differentiability -- Proofs in group theory : Binary operations ; Groups ; Permutations groups ; Fundamental properties of groups ; Subgroups ; Isomorphic groups -- Proofs in ring theory online : Rings ; Elementary properties of rings ; Subrings ; Integral domains ; Fields -- Proofs in linear algebra online : Properties of vectors in 3-space : Vector spaces ; Matrices ; Some properties of vector spaces ; Subspaces ; Spans of vectors ; Linear dependence and independence ; Linear transformations ; Properties of linear transformations -- Proofs in topology online : Metric spaces ; Open sets in metric spaces ; Continuity in metric spaces ; Topological spaces ; Continuity in topological spaces
|
| Subject
|
:
|
Proof theory, Textbooks
|
| Dewey Classification
|
:
|
511.3/6
|
| LC Classification
|
:
|
QA9.54.C48 2013
|
| Added Entry
|
:
|
Polimeni, Albert D.,1938-
|
|
|
:
|
Zhang, Ping,1957-
|
| |