Charming proofs a journey into elegant mathematics /
"Theorems and their proofs lie at the heart of mathematics. In speaking of the purely aesthetic qualities of theorems and proofs, G. H. Hardy wrote that in beautiful proofs 'there is a very high degree of unexpectedness, combined with inevitability and economy'. Charming Proofs presen...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Corporate Authors: | , |
| Drugi avtorji: | |
| Format: | Elektronski eKnjiga |
| Jezik: | angleščina |
| Izdano: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| Serija: | Dolciani mathematical expositions ;
no. 42 |
| Teme: | |
| Online dostop: | An electronic book accessible through the World Wide Web; click to view |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
Podobne knjige/članki
Charming proofs a journey into elegant mathematics /
od: Alsina, Claudi
Izdano: (2010)
od: Alsina, Claudi
Izdano: (2010)
Ways of proof theory
od: Schindler, Ralf
Izdano: (2010)
od: Schindler, Ralf
Izdano: (2010)
Ways of proof theory
od: Schindler, Ralf
Izdano: (2010)
od: Schindler, Ralf
Izdano: (2010)
The nuts and bolts of proofs
od: Cupillari, Antonella
Izdano: (2005)
od: Cupillari, Antonella
Izdano: (2005)
The nuts and bolts of proofs
od: Cupillari, Antonella
Izdano: (2005)
od: Cupillari, Antonella
Izdano: (2005)
Proof, logic, and formalization
Izdano: (1992)
Izdano: (1992)
Proof, logic, and formalization
Izdano: (1992)
Izdano: (1992)
Memoirs of a proof theorist Gödel and other logicians /
od: Takeuti, Gaisi, 1926-
Izdano: (2003)
od: Takeuti, Gaisi, 1926-
Izdano: (2003)
Memoirs of a proof theorist Gödel and other logicians /
od: Takeuti, Gaisi, 1926-
Izdano: (2003)
od: Takeuti, Gaisi, 1926-
Izdano: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Izdano: (2016)
Izdano: (2016)
Concepts of proof in mathematics, philosophy, and computer science /
Izdano: (2016)
Izdano: (2016)
Tracking reason proof, consequence, and truth /
od: Azzouni, Jody
Izdano: (2006)
od: Azzouni, Jody
Izdano: (2006)
Tracking reason proof, consequence, and truth /
od: Azzouni, Jody
Izdano: (2006)
od: Azzouni, Jody
Izdano: (2006)
Lectures on the Curry-Howard isomorphism
od: Sørensen, Morten Heine
Izdano: (2006)
od: Sørensen, Morten Heine
Izdano: (2006)
Lectures on the Curry-Howard isomorphism
od: Sørensen, Morten Heine
Izdano: (2006)
od: Sørensen, Morten Heine
Izdano: (2006)
Logic for concurrency and synchronisation
Izdano: (2003)
Izdano: (2003)
Logic for concurrency and synchronisation
Izdano: (2003)
Izdano: (2003)
Icons of mathematics an exploration of twenty key images /
od: Alsina, Claudi
Izdano: (2011)
od: Alsina, Claudi
Izdano: (2011)
Icons of mathematics an exploration of twenty key images /
od: Alsina, Claudi
Izdano: (2011)
od: Alsina, Claudi
Izdano: (2011)
Conditional and preferential logics proof methods and theorem proving /
od: Pozzato, Gian Luca
Izdano: (2010)
od: Pozzato, Gian Luca
Izdano: (2010)
Conditional and preferential logics proof methods and theorem proving /
od: Pozzato, Gian Luca
Izdano: (2010)
od: Pozzato, Gian Luca
Izdano: (2010)
Mathematical logic
od: Tourlakis, George J.
Izdano: (2003)
od: Tourlakis, George J.
Izdano: (2003)
Mathematical logic
od: Tourlakis, George J.
Izdano: (2003)
od: Tourlakis, George J.
Izdano: (2003)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
od: Woodin, W. H. (W. Hugh)
Izdano: (2010)
od: Woodin, W. H. (W. Hugh)
Izdano: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
od: Woodin, W. H. (W. Hugh)
Izdano: (2010)
od: Woodin, W. H. (W. Hugh)
Izdano: (2010)
Distribution models theory
Izdano: (2006)
Izdano: (2006)
Distribution models theory
Izdano: (2006)
Izdano: (2006)
Perspectives in logic logical foundations of proof complexity /
od: Cook, Stephen, 1948-
Izdano: (2010)
od: Cook, Stephen, 1948-
Izdano: (2010)
Perspectives in logic logical foundations of proof complexity /
od: Cook, Stephen, 1948-
Izdano: (2010)
od: Cook, Stephen, 1948-
Izdano: (2010)
Representation and productive ambiguity in mathematics and the sciences
od: Grosholz, Emily R.
Izdano: (2007)
od: Grosholz, Emily R.
Izdano: (2007)
Representation and productive ambiguity in mathematics and the sciences
od: Grosholz, Emily R.
Izdano: (2007)
od: Grosholz, Emily R.
Izdano: (2007)
Recursion theory : computational aspects of definability /
od: Chong, C.-T. (Chi-Tat), 1949-, et al.
Izdano: (2015)
od: Chong, C.-T. (Chi-Tat), 1949-, et al.
Izdano: (2015)