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...
-д хадгалсан:
| Үндсэн зохиолч: | |
|---|---|
| Байгууллагын зохиогчид: | , |
| Бусад зохиолчид: | |
| Формат: | Цахим Цахим ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
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)
Recursion theory : computational aspects of definability /
-н: Chong, C.-T. (Chi-Tat), 1949-, зэрэг
Хэвлэсэн: (2015)
-н: Chong, C.-T. (Chi-Tat), 1949-, зэрэг
Хэвлэсэн: (2015)
Recursion theory : computational aspects of definability /
-н: Chong, C.-T. (Chi-Tat), 1949-, зэрэг
Хэвлэсэн: (2015)
-н: Chong, C.-T. (Chi-Tat), 1949-, зэрэг
Хэвлэсэн: (2015)
Computational prospects of infinity
Хэвлэсэн: (2008)
Хэвлэсэн: (2008)
Computational prospects of infinity
Хэвлэсэн: (2008)
Хэвлэсэн: (2008)
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)
Forcing for mathematicians /
-н: Weaver, Nik
Хэвлэсэн: (2014)
-н: Weaver, Nik
Хэвлэсэн: (2014)