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...
محفوظ في:
المؤلف الرئيسي: | Alsina, Claudi |
---|---|
مؤلفون مشاركون: | Mathematical Association of America, ebrary, Inc |
مؤلفون آخرون: | Nelsen, Roger B. |
التنسيق: | الكتروني كتاب الكتروني |
اللغة: | الإنجليزية |
منشور في: |
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)
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)
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)
Forcing for mathematicians /
حسب: Weaver, Nik
منشور في: (2014)
حسب: Weaver, Nik
منشور في: (2014)
Forcing for mathematicians /
حسب: Weaver, Nik
منشور في: (2014)
حسب: Weaver, Nik
منشور في: (2014)
Fine structure and class forcing
حسب: Friedman, Sy D., 1953-
منشور في: (2000)
حسب: Friedman, Sy D., 1953-
منشور في: (2000)
Fine structure and class forcing
حسب: Friedman, Sy D., 1953-
منشور في: (2000)
حسب: Friedman, Sy D., 1953-
منشور في: (2000)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
حسب: Fine, Benjamin, 1948-
منشور في: (2014)
حسب: Fine, Benjamin, 1948-
منشور في: (2014)
مواد مشابهة
-
Charming proofs a journey into elegant mathematics /
حسب: Alsina, Claudi
منشور في: (2010) -
Ways of proof theory
حسب: Schindler, Ralf
منشور في: (2010) -
Ways of proof theory
حسب: Schindler, Ralf
منشور في: (2010) -
The nuts and bolts of proofs
حسب: Cupillari, Antonella
منشور في: (2005) -
The nuts and bolts of proofs
حسب: Cupillari, Antonella
منشور في: (2005)