| 紀錄類型: |
書目-電子資源
: Monograph/item
|
| 正題名/作者: |
Proof patterns/ by Mark Joshi. |
| 作者: |
Joshi, Mark. |
| 出版者: |
Cham :Springer International Publishing : : 2015., |
| 面頁冊數: |
xiii, 190 p. :ill., digital ;24 cm. |
| 內容註: |
Induction and complete induction -- Double Counting -- The pigeonhole principle -- Divisions -- Contrapositive and contradiction -- Intersection-enclosure and Generation -- Difference of invariants -- Linear dependence, fields and transcendence -- Formal equivalence -- Equivalence extension -- Proof by classification -- Specific-generality -- Diagonal tricks and cardinality -- Connectedness and the Jordan curve theorem -- The Euler characteristic and the classification of regular polyhedra -- Discharging -- The matching problem -- Games -- Analytical patterns -- Counterexamples. |
| Contained By: |
Springer eBooks |
| 標題: |
Proof theory. - |
| 電子資源: |
http://dx.doi.org/10.1007/978-3-319-16250-8 |
| ISBN: |
9783319162508 (electronic bk.) |