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...
Сохранить в:
| Главный автор: | |
|---|---|
| Корпоративные авторы: | , |
| Другие авторы: | |
| Формат: | Электронный ресурс eКнига |
| Язык: | английский |
| Опубликовано: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| Серии: | Dolciani mathematical expositions ;
no. 42 |
| Предметы: | |
| Online-ссылка: | An electronic book accessible through the World Wide Web; click to view |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
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)
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)
Forcing for mathematicians /
по: Weaver, Nik
Опубликовано: (2014)
по: Weaver, Nik
Опубликовано: (2014)