TY - GEN AU - Chartrand,Gary AU - Zhang,Ping AU - Polimeni,Albert D. TI - Mathematical proofs: a transition to advanced mathematics T2 - Intelligent robotics and autonomous agents SN - 9780321782519 AV - QA9.54 .C43 2013 PY - 2013/// CY - Boston PB - Pearson/Addison Wesley KW - Kanıt teorisi KW - Ders kitapları KW - Proof theory KW - Textbooks N1 - I.Sets -- II.Logic -- III.Direct Proof and Proof by Contrapositive -- IV.More on Direct Proof and Proof by Contrapositive -- V.Existence and Proof by Contradiction -- VI.Mathematical Induction -- VII.Prove or Disprove -- VIII.Equivalence Relations -- IX.Functions -- X.Cardinalities of Sets -- XI.Proofs in Number Theory -- XII.Proofs in Calculus -- XIII.Proofs in Group Theory -- XIV.Proofs in Ring Theory (Online) -- XV.Proofs in Linear Algebra (Online) -- XVI.Proofs in Topology (Online) ER -