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...
Uloženo v:
Hlavní autor: | Alsina, Claudi |
---|---|
Korporace: | Mathematical Association of America, ebrary, Inc |
Další autoři: | Nelsen, Roger B. |
Médium: | Elektronický zdroj E-kniha |
Jazyk: | angličtina |
Vydáno: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
Edice: | Dolciani mathematical expositions ;
no. 42 |
Témata: | |
On-line přístup: | An electronic book accessible through the World Wide Web; click to view |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Charming proofs a journey into elegant mathematics /
Autor: Alsina, Claudi
Vydáno: (2010)
Autor: Alsina, Claudi
Vydáno: (2010)
Ways of proof theory
Autor: Schindler, Ralf
Vydáno: (2010)
Autor: Schindler, Ralf
Vydáno: (2010)
Ways of proof theory
Autor: Schindler, Ralf
Vydáno: (2010)
Autor: Schindler, Ralf
Vydáno: (2010)
The nuts and bolts of proofs
Autor: Cupillari, Antonella
Vydáno: (2005)
Autor: Cupillari, Antonella
Vydáno: (2005)
The nuts and bolts of proofs
Autor: Cupillari, Antonella
Vydáno: (2005)
Autor: Cupillari, Antonella
Vydáno: (2005)
Proof, logic, and formalization
Vydáno: (1992)
Vydáno: (1992)
Proof, logic, and formalization
Vydáno: (1992)
Vydáno: (1992)
Memoirs of a proof theorist Gödel and other logicians /
Autor: Takeuti, Gaisi, 1926-
Vydáno: (2003)
Autor: Takeuti, Gaisi, 1926-
Vydáno: (2003)
Memoirs of a proof theorist Gödel and other logicians /
Autor: Takeuti, Gaisi, 1926-
Vydáno: (2003)
Autor: Takeuti, Gaisi, 1926-
Vydáno: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Vydáno: (2016)
Vydáno: (2016)
Concepts of proof in mathematics, philosophy, and computer science /
Vydáno: (2016)
Vydáno: (2016)
Tracking reason proof, consequence, and truth /
Autor: Azzouni, Jody
Vydáno: (2006)
Autor: Azzouni, Jody
Vydáno: (2006)
Tracking reason proof, consequence, and truth /
Autor: Azzouni, Jody
Vydáno: (2006)
Autor: Azzouni, Jody
Vydáno: (2006)
Lectures on the Curry-Howard isomorphism
Autor: Sørensen, Morten Heine
Vydáno: (2006)
Autor: Sørensen, Morten Heine
Vydáno: (2006)
Lectures on the Curry-Howard isomorphism
Autor: Sørensen, Morten Heine
Vydáno: (2006)
Autor: Sørensen, Morten Heine
Vydáno: (2006)
Logic for concurrency and synchronisation
Vydáno: (2003)
Vydáno: (2003)
Logic for concurrency and synchronisation
Vydáno: (2003)
Vydáno: (2003)
Icons of mathematics an exploration of twenty key images /
Autor: Alsina, Claudi
Vydáno: (2011)
Autor: Alsina, Claudi
Vydáno: (2011)
Icons of mathematics an exploration of twenty key images /
Autor: Alsina, Claudi
Vydáno: (2011)
Autor: Alsina, Claudi
Vydáno: (2011)
Conditional and preferential logics proof methods and theorem proving /
Autor: Pozzato, Gian Luca
Vydáno: (2010)
Autor: Pozzato, Gian Luca
Vydáno: (2010)
Conditional and preferential logics proof methods and theorem proving /
Autor: Pozzato, Gian Luca
Vydáno: (2010)
Autor: Pozzato, Gian Luca
Vydáno: (2010)
Mathematical logic
Autor: Tourlakis, George J.
Vydáno: (2003)
Autor: Tourlakis, George J.
Vydáno: (2003)
Mathematical logic
Autor: Tourlakis, George J.
Vydáno: (2003)
Autor: Tourlakis, George J.
Vydáno: (2003)
Perspectives in logic logical foundations of proof complexity /
Autor: Cook, Stephen, 1948-
Vydáno: (2010)
Autor: Cook, Stephen, 1948-
Vydáno: (2010)
Perspectives in logic logical foundations of proof complexity /
Autor: Cook, Stephen, 1948-
Vydáno: (2010)
Autor: Cook, Stephen, 1948-
Vydáno: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
Autor: Woodin, W. H. (W. Hugh)
Vydáno: (2010)
Autor: Woodin, W. H. (W. Hugh)
Vydáno: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
Autor: Woodin, W. H. (W. Hugh)
Vydáno: (2010)
Autor: Woodin, W. H. (W. Hugh)
Vydáno: (2010)
Distribution models theory
Vydáno: (2006)
Vydáno: (2006)
Distribution models theory
Vydáno: (2006)
Vydáno: (2006)
Representation and productive ambiguity in mathematics and the sciences
Autor: Grosholz, Emily R.
Vydáno: (2007)
Autor: Grosholz, Emily R.
Vydáno: (2007)
Representation and productive ambiguity in mathematics and the sciences
Autor: Grosholz, Emily R.
Vydáno: (2007)
Autor: Grosholz, Emily R.
Vydáno: (2007)
Recursion theory : computational aspects of definability /
Autor: Chong, C.-T. (Chi-Tat), 1949-, a další
Vydáno: (2015)
Autor: Chong, C.-T. (Chi-Tat), 1949-, a další
Vydáno: (2015)
Recursion theory : computational aspects of definability /
Autor: Chong, C.-T. (Chi-Tat), 1949-, a další
Vydáno: (2015)
Autor: Chong, C.-T. (Chi-Tat), 1949-, a další
Vydáno: (2015)
Computational prospects of infinity
Vydáno: (2008)
Vydáno: (2008)
Computational prospects of infinity
Vydáno: (2008)
Vydáno: (2008)
Forcing for mathematicians /
Autor: Weaver, Nik
Vydáno: (2014)
Autor: Weaver, Nik
Vydáno: (2014)
Forcing for mathematicians /
Autor: Weaver, Nik
Vydáno: (2014)
Autor: Weaver, Nik
Vydáno: (2014)
Fine structure and class forcing
Autor: Friedman, Sy D., 1953-
Vydáno: (2000)
Autor: Friedman, Sy D., 1953-
Vydáno: (2000)
Fine structure and class forcing
Autor: Friedman, Sy D., 1953-
Vydáno: (2000)
Autor: Friedman, Sy D., 1953-
Vydáno: (2000)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
Autor: Fine, Benjamin, 1948-
Vydáno: (2014)
Autor: Fine, Benjamin, 1948-
Vydáno: (2014)
Podobné jednotky
-
Charming proofs a journey into elegant mathematics /
Autor: Alsina, Claudi
Vydáno: (2010) -
Ways of proof theory
Autor: Schindler, Ralf
Vydáno: (2010) -
Ways of proof theory
Autor: Schindler, Ralf
Vydáno: (2010) -
The nuts and bolts of proofs
Autor: Cupillari, Antonella
Vydáno: (2005) -
The nuts and bolts of proofs
Autor: Cupillari, Antonella
Vydáno: (2005)