Se connecter

Bibliographies thématiques / Mathematical Proof and Demonstration / Livres

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Mathematical Proof and Demonstration.

Livres sur le sujet « Mathematical Proof and Demonstration »

Auteur : Grafiati

Publié le 4 juin 2021

Mis à jour le 13 février 2022

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs livres pour votre recherche sur le sujet « Mathematical Proof and Demonstration ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.

1

G, Dhombres Jean, dir. Une histoire de l'imaginaire mathématique : Vers le théorème fondamental de l'algèbre et sa demonstration par Laplace en 1795. Paris : Hermann, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

1957-, Taylor John, dir. 100% mathematical proof. Chichester : Wiley, 1996.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Rowan, Garnier, dir. Understanding mathematical proof. Boca Raton : Taylor & Francis, 2014.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Stirling, David S. G. Mathematical analysis and proof. 2^e éd. Chichester, UK : Horwood Pub., 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

Stirling, David S. G. Mathematical analysis and proof. 2^e éd. Chichester, UK : Horwood Pub., 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Mathematical reasoning : Writing and proof. 2^e éd. Upper Saddle River, N.J : Pearson Prentice Hall, 2007.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Mathematical reasoning : Writing and proof. Upper Saddle River, N.J : Prentice Hall, 2003.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Norman, E. Logic and proof. Needham Heights, MA : Ginn Press, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

Dragalin, Alʹbert Grigorʹevich. Mathematical intuitionism : Introduction to proof theory. Providence, R.I : American Mathematical Society, 1988.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Havil, Julian. Nonplussed ! : Mathematical proof of implausible ideas. Princeton, N.J : Princeton University Press, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Benson, Donald C. The moment of proof : Mathematical epiphanies. New York : Oxford University Press, 1999.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

12

Fetisov, A. I. Proof in geometry. Mineola, N.Y : Dover Publications, 2006.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

service), SpringerLink (Online, dir. A Logical Introduction to Proof. New York, NY : Springer New York, 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

On the shape of mathematical arguments. Berlin : Springer-Verlag, 1990.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

Lay, Steven R. Analysis : An introduction to proof. Englewood Cliffs, N.J : Prentice-Hall, 1986.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

Schwartz, Diane Driscoll. Conjecture & proof : An introduction to mathematical thinking. Fort Worth : Saunders College Pub., 1997.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

service), SpringerLink (Online, dir. The Proof is in the Pudding : The Changing Nature of Mathematical Proof. New York, NY : Springer Science+Business Media, LLC, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

Pym, David J. Reductive logic and proof-search : Proof theory, semantics, and control. Oxford : Clarendon Press, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

Eisenberg, Murray. The mathematical method : A transition to advanced mathematics. Upper Saddle River, N.J : Prentice Hall, 1996.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

Tracking reason : Proof, consequence, and truth. New York : Oxford University Press, 2005.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

Azzouni, Jody. Tracking reason : Proof, consequence, and truth. New York, NY : Oxford University Press, 2006.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

22

Lay, Steven R. Analysis : With an introduction to proof. 3^e éd. Upper Saddle River, N.J : Prentice Hall, 2000.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

Lay, Steven R. Analysis : With an introduction to proof. 4^e éd. Upper Saddle River, NJ : Pearson Prentice Hall, 2006.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

Lay, Steven R. Analysis : With an introduction to proof. 2^e éd. Englewood Cliffs, N.J : Prentice Hall, 1990.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

1938-, Polimeni Albert D., et Zhang Ping 1957-, dir. Mathematical proofs : A transition to advanced mathematics. 3^e éd. Boston : Pearson Education, 2013.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

Agler, David W. Symbolic logic : Syntax, semantics, and proof. Lanham, Md : Rowman & Littlefield Publishers, 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

Morash, Ronald P. Bridge to abstract mathematics : Mathematical proof and structures. New York, NY : Random House, 1987.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

Morash, Ronald P. Bridge to abstract mathematics : Mathematical proof and structures. 2^e éd. New York : McGraw-Hill, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

Morash, Ronald P. Bridge to abstract mathematics : Mathematical proof and structures. New York, NY : Random House, 1987.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

Natural deduction : A proof-theoretical study. Mineola, NY : Dover Publications, 2006.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

Resolution proof systems : An algebraic theory. Dordrecht : Kluwer Academic Publishers, 1996.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

Wójtowicz, Krzysztof. O pojęciu dowodu w matematyce : The notion of mathematical proof. Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

The nuts and bolts of proofs : An introduction to mathematical proofs. 4^e éd. Amsterdam : Elsevier Academic Press, 2013.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

Eccles, Peter J. An introduction to mathematical reasoning : Lectures on numbers, sets, and functions. New York : Cambridge University Press, 1997.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Proof, logic, and conjecture : The mathematician's toolbox. New York : W.H. Freeman, 1998.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

Kant, Immanuel. Der Einzig mögliche Beweisgrund zu einer Demonstration des Daseins Gottes. Hamburg : Felix Meiner Verlag, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Buchholz, Wilfried. Proof theory of impredicative subsystems of analysis. Napoli : Bibliopolis, 1988.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

Wansing, H. Proof theory of modal logic. Dordrecht : Springer, 1996.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

39

Introduction to mathematical proof : A transition to advanced mathematics. Boca Raton : CRC Press, Taylor & Francis Group, 2015.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

Kant, Immanuel. Der einzig mögliche Beweisgrund = : The one possible basis for a demonstration of the existence of God. Lincoln : University of Nebraska Press, 1994.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

Royal Society (Great Britain). Discussion Meeting. The nature of mathematical proof : Papers of a discussion meeting. London : The Royal Society, 2005.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

Stachniak, Zbigniew. Resolution Proof Systems : An Algebraic Theory. Dordrecht : Springer Netherlands, 1996.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

Forcing with random variables and proof complexity. Cambridge : Cambridge University Press, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

44

Taylor, Alan D. Mathematics and politics : Strategy, voting, power and proof. New York : Springer-Verlag, 1995.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

M, Pacelli Allison, dir. Mathematics and politics : Strategy, voting, power, and proof. New York : Springer, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

46

Truth through proof : A formalist foundation for mathematics. Oxford : Clarendon Press, 2010.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

47

La demonstration mathematique dans l'histoire. Diffusion IREM de Lyon, 1990.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

48

Kaloshin, Vadim, et Ke Zhang. Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom. Princeton University Press, 2020. http://dx.doi.org/10.23943/princeton/9780691202525.001.0001.

Texte intégral

Résumé :

Arnold diffusion, which concerns the appearance of chaos in classical mechanics, is one of the most important problems in the fields of dynamical systems and mathematical physics. Since it was discovered by Vladimir Arnold in 1963, it has attracted the efforts of some of the most prominent researchers in mathematics. The question is whether a typical perturbation of a particular system will result in chaotic or unstable dynamical phenomena. This book provides the first complete proof of Arnold diffusion, demonstrating that that there is topological instability for typical perturbations of five-dimensional integrable systems (two and a half degrees of freedom). This proof realizes a plan John Mather announced in 2003 but was unable to complete before his death. The book follows Mather's strategy but emphasizes a more Hamiltonian approach, tying together normal forms theory, hyperbolic theory, Mather theory, and weak KAM theory. Offering a complete, clean, and modern explanation of the steps involved in the proof, and a clear account of background material, the book is designed to be accessible to students as well as researchers. The result is a critical contribution to mathematical physics and dynamical systems, especially Hamiltonian systems.

Styles APA, Harvard, Vancouver, ISO, etc.

49

(Editor), Georg Gottlob, Alexander Leitsch (Editor) et Daniele Mundici (Editor), dir. Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science). Springer, 1993.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

50

Taylor, John, et Rowan Garnier. Understanding Mathematical Proof. Chapman and Hall/CRC, 2016. http://dx.doi.org/10.1201/b16620.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!