| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Proof patterns/ by Mark Joshi. |
| Author: |
Joshi, Mark. |
| Published: |
Cham :Springer International Publishing : : 2015., |
| Description: |
xiii, 190 p. :ill., digital ;24 cm. |
| [NT 15003449]: |
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 |
| Subject: |
Proof theory. - |
| Online resource: |
http://dx.doi.org/10.1007/978-3-319-16250-8 |
| ISBN: |
9783319162508 (electronic bk.) |