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 |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
অনুরূপ উপাদানগুলি
Ways of proof theory
অনুযায়ী: Schindler, Ralf
প্রকাশিত: (2010)
অনুযায়ী: Schindler, Ralf
প্রকাশিত: (2010)
The nuts and bolts of proofs
অনুযায়ী: Cupillari, Antonella
প্রকাশিত: (2005)
অনুযায়ী: Cupillari, Antonella
প্রকাশিত: (2005)
Proof, logic, and formalization
প্রকাশিত: (1992)
প্রকাশিত: (1992)
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)
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)
Logic for concurrency and synchronisation
প্রকাশিত: (2003)
প্রকাশিত: (2003)
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)
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)
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)
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)
Computational prospects of infinity
প্রকাশিত: (2008)
প্রকাশিত: (2008)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
অনুযায়ী: Fine, Benjamin, 1948-
প্রকাশিত: (2014)
অনুযায়ী: Fine, Benjamin, 1948-
প্রকাশিত: (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)
Logic without borders /
প্রকাশিত: (2015)
প্রকাশিত: (2015)
Institution-independent model theory
অনুযায়ী: Diaconescu, Răzvan
প্রকাশিত: (2008)
অনুযায়ী: Diaconescu, Răzvan
প্রকাশিত: (2008)
Recursion theory for metamathematics
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1993)
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1993)
Infinity and truth /
প্রকাশিত: (2014)
প্রকাশিত: (2014)
Infinity and the mind : the science and philosophy of the infinite /
অনুযায়ী: Rucker, Rudy
প্রকাশিত: (1982)
অনুযায়ী: Rucker, Rudy
প্রকাশিত: (1982)
Notes on forcing axioms /
অনুযায়ী: Todorcevic, Stevo
প্রকাশিত: (2014)
অনুযায়ী: Todorcevic, Stevo
প্রকাশিত: (2014)
Simple theories and hyperimaginaries
অনুযায়ী: Casanovas, Enrique, 1957-
প্রকাশিত: (2011)
অনুযায়ী: Casanovas, Enrique, 1957-
প্রকাশিত: (2011)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
প্রকাশিত: (1998)
প্রকাশিত: (1998)
A middle way to God
অনুযায়ী: Hallett, Garth
প্রকাশিত: (2000)
অনুযায়ী: Hallett, Garth
প্রকাশিত: (2000)
Computability in context computation and logic in the real world /
প্রকাশিত: (2011)
প্রকাশিত: (2011)
Logical reasoning with diagrams
প্রকাশিত: (1996)
প্রকাশিত: (1996)
The fingerprint of God : recent scientific discoveries reveal the ... /
অনুযায়ী: Ross, Hugh
প্রকাশিত: (1989)
অনুযায়ী: Ross, Hugh
প্রকাশিত: (1989)
The existence of God /
অনুযায়ী: Matson, Wallace I.
প্রকাশিত: (1965)
অনুযায়ী: Matson, Wallace I.
প্রকাশিত: (1965)
The Fire in the equations : science, religion and the search for God /
অনুযায়ী: Ferguson, Kitty
প্রকাশিত: (1994)
অনুযায়ী: Ferguson, Kitty
প্রকাশিত: (1994)
God? a debate between a Christian and an atheist /
অনুযায়ী: Craig, William Lane
প্রকাশিত: (2004)
অনুযায়ী: Craig, William Lane
প্রকাশিত: (2004)
God? Very probably : five rational ways to think about the question of a god /
অনুযায়ী: Nelson, Robert H.
প্রকাশিত: (2015)
অনুযায়ী: Nelson, Robert H.
প্রকাশিত: (2015)
Meditations on first philosophy with selections from the Objections and replies /
অনুযায়ী: Descartes, René, 1596-1650
প্রকাশিত: (2008)
অনুযায়ী: Descartes, René, 1596-1650
প্রকাশিত: (2008)
Logic and theism arguments for and against beliefs in God /
অনুযায়ী: Sobel, Jordan Howard
প্রকাশিত: (2004)
অনুযায়ী: Sobel, Jordan Howard
প্রকাশিত: (2004)
Mathematical logic
অনুযায়ী: Chiswell, Ian, 1948-
প্রকাশিত: (2007)
অনুযায়ী: Chiswell, Ian, 1948-
প্রকাশিত: (2007)
The foundations of mathematics /
অনুযায়ী: Stewart, Ian, 1945-
প্রকাশিত: (1977)
অনুযায়ী: Stewart, Ian, 1945-
প্রকাশিত: (1977)