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:
| 主要作者: | |
|---|---|
| 企业作者: | , |
| 其他作者: | |
| 格式: | 电子 电子书 |
| 语言: | 英语 |
| 出版: |
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)
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)
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)
Recursion theory : computational aspects of definability /
由: Chong, C.-T. (Chi-Tat), 1949-, et al.
出版: (2015)
由: Chong, C.-T. (Chi-Tat), 1949-, et al.
出版: (2015)