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...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awduron Corfforaethol: | , |
| Awduron Eraill: | |
| Fformat: | Electronig eLyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| Cyfres: | Dolciani mathematical expositions ;
no. 42 |
| Pynciau: | |
| Mynediad Ar-lein: | An electronic book accessible through the World Wide Web; click to view |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Eitemau Tebyg
Charming proofs a journey into elegant mathematics /
gan: Alsina, Claudi
Cyhoeddwyd: (2010)
gan: Alsina, Claudi
Cyhoeddwyd: (2010)
Ways of proof theory
gan: Schindler, Ralf
Cyhoeddwyd: (2010)
gan: Schindler, Ralf
Cyhoeddwyd: (2010)
Ways of proof theory
gan: Schindler, Ralf
Cyhoeddwyd: (2010)
gan: Schindler, Ralf
Cyhoeddwyd: (2010)
The nuts and bolts of proofs
gan: Cupillari, Antonella
Cyhoeddwyd: (2005)
gan: Cupillari, Antonella
Cyhoeddwyd: (2005)
The nuts and bolts of proofs
gan: Cupillari, Antonella
Cyhoeddwyd: (2005)
gan: Cupillari, Antonella
Cyhoeddwyd: (2005)
Proof, logic, and formalization
Cyhoeddwyd: (1992)
Cyhoeddwyd: (1992)
Proof, logic, and formalization
Cyhoeddwyd: (1992)
Cyhoeddwyd: (1992)
Memoirs of a proof theorist Gödel and other logicians /
gan: Takeuti, Gaisi, 1926-
Cyhoeddwyd: (2003)
gan: Takeuti, Gaisi, 1926-
Cyhoeddwyd: (2003)
Memoirs of a proof theorist Gödel and other logicians /
gan: Takeuti, Gaisi, 1926-
Cyhoeddwyd: (2003)
gan: Takeuti, Gaisi, 1926-
Cyhoeddwyd: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Cyhoeddwyd: (2016)
Cyhoeddwyd: (2016)
Concepts of proof in mathematics, philosophy, and computer science /
Cyhoeddwyd: (2016)
Cyhoeddwyd: (2016)
Tracking reason proof, consequence, and truth /
gan: Azzouni, Jody
Cyhoeddwyd: (2006)
gan: Azzouni, Jody
Cyhoeddwyd: (2006)
Tracking reason proof, consequence, and truth /
gan: Azzouni, Jody
Cyhoeddwyd: (2006)
gan: Azzouni, Jody
Cyhoeddwyd: (2006)
Lectures on the Curry-Howard isomorphism
gan: Sørensen, Morten Heine
Cyhoeddwyd: (2006)
gan: Sørensen, Morten Heine
Cyhoeddwyd: (2006)
Lectures on the Curry-Howard isomorphism
gan: Sørensen, Morten Heine
Cyhoeddwyd: (2006)
gan: Sørensen, Morten Heine
Cyhoeddwyd: (2006)
Logic for concurrency and synchronisation
Cyhoeddwyd: (2003)
Cyhoeddwyd: (2003)
Logic for concurrency and synchronisation
Cyhoeddwyd: (2003)
Cyhoeddwyd: (2003)
Icons of mathematics an exploration of twenty key images /
gan: Alsina, Claudi
Cyhoeddwyd: (2011)
gan: Alsina, Claudi
Cyhoeddwyd: (2011)
Icons of mathematics an exploration of twenty key images /
gan: Alsina, Claudi
Cyhoeddwyd: (2011)
gan: Alsina, Claudi
Cyhoeddwyd: (2011)
Conditional and preferential logics proof methods and theorem proving /
gan: Pozzato, Gian Luca
Cyhoeddwyd: (2010)
gan: Pozzato, Gian Luca
Cyhoeddwyd: (2010)
Conditional and preferential logics proof methods and theorem proving /
gan: Pozzato, Gian Luca
Cyhoeddwyd: (2010)
gan: Pozzato, Gian Luca
Cyhoeddwyd: (2010)
Mathematical logic
gan: Tourlakis, George J.
Cyhoeddwyd: (2003)
gan: Tourlakis, George J.
Cyhoeddwyd: (2003)
Mathematical logic
gan: Tourlakis, George J.
Cyhoeddwyd: (2003)
gan: Tourlakis, George J.
Cyhoeddwyd: (2003)
Perspectives in logic logical foundations of proof complexity /
gan: Cook, Stephen, 1948-
Cyhoeddwyd: (2010)
gan: Cook, Stephen, 1948-
Cyhoeddwyd: (2010)
Perspectives in logic logical foundations of proof complexity /
gan: Cook, Stephen, 1948-
Cyhoeddwyd: (2010)
gan: Cook, Stephen, 1948-
Cyhoeddwyd: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
gan: Woodin, W. H. (W. Hugh)
Cyhoeddwyd: (2010)
gan: Woodin, W. H. (W. Hugh)
Cyhoeddwyd: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
gan: Woodin, W. H. (W. Hugh)
Cyhoeddwyd: (2010)
gan: Woodin, W. H. (W. Hugh)
Cyhoeddwyd: (2010)
Distribution models theory
Cyhoeddwyd: (2006)
Cyhoeddwyd: (2006)
Distribution models theory
Cyhoeddwyd: (2006)
Cyhoeddwyd: (2006)
Representation and productive ambiguity in mathematics and the sciences
gan: Grosholz, Emily R.
Cyhoeddwyd: (2007)
gan: Grosholz, Emily R.
Cyhoeddwyd: (2007)
Representation and productive ambiguity in mathematics and the sciences
gan: Grosholz, Emily R.
Cyhoeddwyd: (2007)
gan: Grosholz, Emily R.
Cyhoeddwyd: (2007)
Recursion theory : computational aspects of definability /
gan: Chong, C.-T. (Chi-Tat), 1949-, et al.
Cyhoeddwyd: (2015)
gan: Chong, C.-T. (Chi-Tat), 1949-, et al.
Cyhoeddwyd: (2015)
Recursion theory : computational aspects of definability /
gan: Chong, C.-T. (Chi-Tat), 1949-, et al.
Cyhoeddwyd: (2015)
gan: Chong, C.-T. (Chi-Tat), 1949-, et al.
Cyhoeddwyd: (2015)
Computational prospects of infinity
Cyhoeddwyd: (2008)
Cyhoeddwyd: (2008)
Computational prospects of infinity
Cyhoeddwyd: (2008)
Cyhoeddwyd: (2008)
Forcing for mathematicians /
gan: Weaver, Nik
Cyhoeddwyd: (2014)
gan: Weaver, Nik
Cyhoeddwyd: (2014)
Forcing for mathematicians /
gan: Weaver, Nik
Cyhoeddwyd: (2014)
gan: Weaver, Nik
Cyhoeddwyd: (2014)
Fine structure and class forcing
gan: Friedman, Sy D., 1953-
Cyhoeddwyd: (2000)
gan: Friedman, Sy D., 1953-
Cyhoeddwyd: (2000)
Fine structure and class forcing
gan: Friedman, Sy D., 1953-
Cyhoeddwyd: (2000)
gan: Friedman, Sy D., 1953-
Cyhoeddwyd: (2000)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
gan: Fine, Benjamin, 1948-
Cyhoeddwyd: (2014)
gan: Fine, Benjamin, 1948-
Cyhoeddwyd: (2014)