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...
保存先:
| 第一著者: | |
|---|---|
| 共著者: | , |
| その他の著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
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)
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)
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-, 等
出版事項: (2015)
著者:: Chong, C.-T. (Chi-Tat), 1949-, 等
出版事項: (2015)