紀錄類型: |
書目-電子資源
: 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.) |