- 5 Résultats
prix le plus bas: € 53,49, prix le plus élevé: € 136,77, prix moyen: € 87,93
1
On the Shape of Mathematical Arguments
Commander
sur Springer.com
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

On the Shape of Mathematical Arguments - nouveau livre

ISBN: 9783540528494

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 imp… Plus…

Nr. 978-3-540-52849-4. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
fermer(X)
2
On the Shape of Mathematical Arguments - Antonetta J.M. van Gasteren
Commander
sur Hugendubel.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Antonetta J.M. van Gasteren:

On the Shape of Mathematical Arguments - Livres de poche

ISBN: 9783540528494

*On the Shape of Mathematical Arguments* - Auflage 1990 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Wissenschaft, Mathematik Medien > Bücher nein Buch (kartoniert) Hardcover;Natu… Plus…

Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fermer(X)
3
Commander
sur AbeBooks.de
€ 64,08
Envoi: € 9,311
Commander
Détails du fournisseur
Lien sponsorisé
Antonetta J.M. van Gasteren:
On the Shape of Mathematical Arguments 445 Lecture Notes in Computer Science - Livres de poche

1990

ISBN: 3540528490

[EAN: 9783540528494], Neubuch, [PU: Springer], New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000, Books

NEW BOOK. Frais d'envoi EUR 9.31 PBShop.store UK, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]
fermer(X)
4
Commander
sur AbeBooks.de
€ 131,82
Envoi: € 23,271
Commander
Détails du fournisseur
Lien sponsorisé
Gasteren, Antonetta J.M. van:
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science (445)) - Livres de poche

1990, ISBN: 3540528490

[EAN: 9783540528494], Gebraucht, wie neu, [PU: Springer], Like New, Books

NOT NEW BOOK. Frais d'envoi EUR 23.27 Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)]
fermer(X)
5
Commander
sur Biblio.co.uk
$ 149,39
(environ € 136,77)
Envoi: € 16,481
Commander
Détails du fournisseur
Lien sponsorisé
Antonetta J.M. van Gasteren:
On the Shape of Mathematical Arguments - nouveau livre

ISBN: 9783540528494

Springer , pp. 200 . Papeback. New., Springer, 6

Frais d'envoi EUR 16.48 Cold Books
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
On the Shape of Mathematical Arguments
Auteur:
Titre:
ISBN:

3540528490


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 that the use of formalism is indispensible for achieving this. A second purpose of the book is to discuss matters of design. Rather than addressing psychological questions, the author deals with more technical questions like how analysis of the shape of the demonstrandum can guide the design of a proof. This technical rather than psychological view of heuristics together with the stress on exploiting formalism effectively are two key features of the book. The book consists of two independently readable parts. One part includes a number of general chapters discussing techniques for clear exposition, the use of formalism, the choice of notations, the choice of what to name and how to name it, and so on. The other part consists of a series of expositional essays, each dealing with a proof or an algorithm and illustrating the use of techniques discussed in the more general chapters.

Informations détaillées sur le livre - On the Shape of Mathematical Arguments


EAN (ISBN-13): 9783540528494
ISBN (ISBN-10): 3540528490
Livre de poche
Date de parution: 1990
Editeur: Springer Berlin Heidelberg
196 Pages
Poids: 0,304 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-05-28T20:39:21+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-09-29T19:50:44+02:00 (Paris)
ISBN/EAN: 3540528490

ISBN - Autres types d'écriture:
3-540-52849-0, 978-3-540-52849-4
Autres types d'écriture et termes associés:
Auteur du livre: edsger dijkstra, dijkstra antonetta, gaster, van gasteren
Titre du livre: mathematical, shape, handbook experimental pharmacology, just the arguments, lecture notes computer science

Données de l'éditeur

Auteur: Antonetta J.M. van Gasteren
Titre: Lecture Notes in Computer Science; On the Shape of Mathematical Arguments
Editeur: Springer; Springer Berlin
184 Pages
Date de parution: 1990-07-24
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 184 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithmenentwurf; Lösen von Aufgaben; algorithm; algorithm design; algorithms; formalization; mathematical methodology; mathematische Methodik; problem solving; proof theory; Software Engineering; Logic; Computer Science Logic and Foundations of Programming; Philosophie: Logik; Theoretische Informatik; EA

A termination argument.- A problem on bichrome 6-graphs.- Proving the existence of the Euler line.- In adherence to symmetry.- On a proof by Arbib, Kfoury, and Moll.- Not about open and closed sets.- A monotonicity argument.- On the inverse of a function.- A calculational proof of Helly's theorem on convex figures.- The formal derivation of a proof of the invariance theorem.- Proving theorems with Euclid's algorithm.- On the deisng of an in-situ permutation algorithm.- Shiloach's algorithm.- Clarity of exposition.- On naming.- On the ue of formalism.- Epilogue.- Proof rules for guarded-command programs.- Notational conventions.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783540471660 On the Shape of Mathematical Arguments (Antonetta J.M. van Gasteren; Edsger W. Dijkstra)

< pour archiver...