| 000 | 01631 a2200361 4500 | ||
|---|---|---|---|
| 999 |
_c200419388 _d37747 |
||
| 001 | 200419388 | ||
| 003 | TR-AnTOB | ||
| 005 | 20231005124827.0 | ||
| 008 | 140425m20032013xxu 001 0 | ||
| 020 | _a9780321782519 | ||
| 020 | _a0321782518 | ||
| 040 |
_aDLC _dTR-AnTOB _deng _erda _beng _cTR-AnTOB |
||
| 041 | _aeng | ||
| 050 |
_aQA9.54 _b.C43 2013 |
||
| 090 | _aRES QA9.54 .C43 2013 | ||
| 100 | 1 |
_aChartrand, Gary _950592 |
|
| 245 | 0 |
_aMathematical proofs : _ba transition to advanced mathematics / _cGary Chartrand, Albert D. Polimeni, Ping Zhang. |
|
| 250 | _aThird edition. | ||
| 264 | 1 |
_aBoston : _bPearson/Addison Wesley, _c2013 |
|
| 264 | _a©2013,2008,2003 | ||
| 300 |
_axii, 400 pages; _c24 cm. |
||
| 336 |
_atext _2rdacontent _btxt |
||
| 337 |
_aunmediated _2rdamedia _bn |
||
| 338 |
_avolume _2rdacarrier _bnc |
||
| 490 | 0 | _aIntelligent robotics and autonomous agents. | |
| 505 | _aI.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) | ||
| 650 | 0 |
_aKanıt teorisi _vDers kitapları _998125 |
|
| 650 | 0 |
_aProof theory _vTextbooks _998124 |
|
| 700 | 1 |
_aZhang, Ping, _d1957- _950593 |
|
| 700 | 1 |
_aPolimeni, Albert D., _d1938- _998123 |
|
| 942 |
_cBK _2lcc |
||