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...
Saved in:
| 主要作者: | |
|---|---|
| Corporate Authors: | , |
| 其他作者: | |
| 格式: | 電子 電子書 |
| 語言: | 英语 |
| 出版: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| 叢編: | Dolciani mathematical expositions ;
no. 42 |
| 主題: | |
| 在線閱讀: | An electronic book accessible through the World Wide Web; click to view |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
Charming proofs a journey into elegant mathematics /
由: Alsina, Claudi
出版: (2010)
由: Alsina, Claudi
出版: (2010)
Ways of proof theory
由: Schindler, Ralf
出版: (2010)
由: Schindler, Ralf
出版: (2010)
Ways of proof theory
由: Schindler, Ralf
出版: (2010)
由: Schindler, Ralf
出版: (2010)
The nuts and bolts of proofs
由: Cupillari, Antonella
出版: (2005)
由: Cupillari, Antonella
出版: (2005)
The nuts and bolts of proofs
由: Cupillari, Antonella
出版: (2005)
由: Cupillari, Antonella
出版: (2005)
Proof, logic, and formalization
出版: (1992)
出版: (1992)
Proof, logic, and formalization
出版: (1992)
出版: (1992)
Memoirs of a proof theorist Gödel and other logicians /
由: Takeuti, Gaisi, 1926-
出版: (2003)
由: Takeuti, Gaisi, 1926-
出版: (2003)
Memoirs of a proof theorist Gödel and other logicians /
由: Takeuti, Gaisi, 1926-
出版: (2003)
由: Takeuti, Gaisi, 1926-
出版: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
出版: (2016)
出版: (2016)
Concepts of proof in mathematics, philosophy, and computer science /
出版: (2016)
出版: (2016)
Tracking reason proof, consequence, and truth /
由: Azzouni, Jody
出版: (2006)
由: Azzouni, Jody
出版: (2006)
Tracking reason proof, consequence, and truth /
由: Azzouni, Jody
出版: (2006)
由: Azzouni, Jody
出版: (2006)
Lectures on the Curry-Howard isomorphism
由: Sørensen, Morten Heine
出版: (2006)
由: Sørensen, Morten Heine
出版: (2006)
Lectures on the Curry-Howard isomorphism
由: Sørensen, Morten Heine
出版: (2006)
由: Sørensen, Morten Heine
出版: (2006)
Logic for concurrency and synchronisation
出版: (2003)
出版: (2003)
Logic for concurrency and synchronisation
出版: (2003)
出版: (2003)
Icons of mathematics an exploration of twenty key images /
由: Alsina, Claudi
出版: (2011)
由: Alsina, Claudi
出版: (2011)
Icons of mathematics an exploration of twenty key images /
由: Alsina, Claudi
出版: (2011)
由: Alsina, Claudi
出版: (2011)
Conditional and preferential logics proof methods and theorem proving /
由: Pozzato, Gian Luca
出版: (2010)
由: Pozzato, Gian Luca
出版: (2010)
Conditional and preferential logics proof methods and theorem proving /
由: Pozzato, Gian Luca
出版: (2010)
由: Pozzato, Gian Luca
出版: (2010)
Mathematical logic
由: Tourlakis, George J.
出版: (2003)
由: Tourlakis, George J.
出版: (2003)
Mathematical logic
由: Tourlakis, George J.
出版: (2003)
由: Tourlakis, George J.
出版: (2003)
Perspectives in logic logical foundations of proof complexity /
由: Cook, Stephen, 1948-
出版: (2010)
由: Cook, Stephen, 1948-
出版: (2010)
Perspectives in logic logical foundations of proof complexity /
由: Cook, Stephen, 1948-
出版: (2010)
由: Cook, Stephen, 1948-
出版: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
由: Woodin, W. H. (W. Hugh)
出版: (2010)
由: Woodin, W. H. (W. Hugh)
出版: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
由: Woodin, W. H. (W. Hugh)
出版: (2010)
由: Woodin, W. H. (W. Hugh)
出版: (2010)
Distribution models theory
出版: (2006)
出版: (2006)
Distribution models theory
出版: (2006)
出版: (2006)
Representation and productive ambiguity in mathematics and the sciences
由: Grosholz, Emily R.
出版: (2007)
由: Grosholz, Emily R.
出版: (2007)
Representation and productive ambiguity in mathematics and the sciences
由: Grosholz, Emily R.
出版: (2007)
由: Grosholz, Emily R.
出版: (2007)
Recursion theory : computational aspects of definability /
由: Chong, C.-T. (Chi-Tat), 1949-, et al.
出版: (2015)
由: Chong, C.-T. (Chi-Tat), 1949-, et al.
出版: (2015)
Recursion theory : computational aspects of definability /
由: Chong, C.-T. (Chi-Tat), 1949-, et al.
出版: (2015)
由: Chong, C.-T. (Chi-Tat), 1949-, et al.
出版: (2015)
Computational prospects of infinity
出版: (2008)
出版: (2008)
Computational prospects of infinity
出版: (2008)
出版: (2008)
Forcing for mathematicians /
由: Weaver, Nik
出版: (2014)
由: Weaver, Nik
出版: (2014)
Forcing for mathematicians /
由: Weaver, Nik
出版: (2014)
由: Weaver, Nik
出版: (2014)
Fine structure and class forcing
由: Friedman, Sy D., 1953-
出版: (2000)
由: Friedman, Sy D., 1953-
出版: (2000)
Fine structure and class forcing
由: Friedman, Sy D., 1953-
出版: (2000)
由: Friedman, Sy D., 1953-
出版: (2000)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
由: Fine, Benjamin, 1948-
出版: (2014)
由: Fine, Benjamin, 1948-
出版: (2014)