On the shape of mathematical arguments :: SCD d'Orléans

On the shape of mathematical arguments

On the shape of mathematical arguments

This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important constraint especially for the correctness of algorithms, can be combined with brevity. The author stresses...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Gasteren, Antonetta J. M. van, 1952-
Andre forfattere:	Dijkstra, Edsger Wybe, 1930-2002 (Auteur de l'introduction, etc.)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 445
Fag:	Génie logiciel Informatique Théorie de la démonstration Philosophie Mathématiques
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• On the shape of mathematical arguments, A.J.M. van Gasteren, Berlin, Springer-Verlag, 1990, 1 vol. (VIII-180 p.), Lecture notes in computer science, 3-540-52849-0 • On the Shape of Mathematical Arguments, Texte imprimé, 9783662182116

Lignende værker

Isabelle : a generic theorem prover
af: Paulson, Lawrence C., 1955-...., informaticien

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
af: Lauer, Peter E., 1934-

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
af: Zwiers, Job, 19..-

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Isabelle/HOL : a proof assistant for higher-order logic
af: Nipkow, Tobias, 1958-..., informaticien, et autres

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18 22, 2001 : proceedings

Automated reasoning : Second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
af: Basin, David

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8 12, 1997 : revised lectures

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

Efficient checking of polynomials and proofs and the hardness of approximation problems
af: Sudan, Madhu

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003 : proceedings

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 August 1, 2002 : proceedings

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20 23, 2002 Proceedings

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
af: Slind, Konrad

Three Views of Logic : Mathematics, Philosophy, and Computer Science
af: Loveland, Donald W., et autres
Udgivet: (2014)

Mathematical foundations of software development : proceedings of the International joint conference on theory and practice of software development (TAPSOFT), Berlin, March 25-29, 1985 Colloquium on trees in algebra and programming (CAAP' 85)

The computer modelling of mathematical reasoning
af: Bundy, Alan R., 1947-
Udgivet: (1983)

TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 Advanced seminar on foundations of innovative software development I and Colloquium on trees in algebra and programming (CAAP '87)

Applied proof theory : proof interpretations and their use in mathematics
af: Kohlenbach, Ulrich, 1962-
Udgivet: (2008)

Applied proof theory : proof interpretations and their use in mathematics
af: Kohlenbach, Ulrich, 1962-

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25 29, 1997 : proceedings

The story of proof : logic and history of mathematics
af: Stillwell, John, 1942-...., Professeur de mathématiques
Udgivet: (2022)

CQFD : beauté de la démonstration mathématique
af: Polster, Burkard, 1965-
Udgivet: (2016)

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Mathematical foundations of computer science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24 28, 1992 : proceedings

Mathematical foundations of computer science 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings

Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22 26, 1994 : proceedings

Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28 September 1, 1995 : proceedings

Mathematical knowledge management : Second international conference MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings

Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craków, Poland, September 2-6, 1996 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales