. .
Français
France
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
..?
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
Annonce payée
FILTRE
- 0 Résultats
prix le plus bas: 65.39 EUR, prix le plus élevé: 103.34 EUR, prix moyen: 77.02 EUR
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Antonetta J.M. van Gasteren, Edsger W. Dijkstra
Livre non disponible
(*)
Antonetta J.M. van Gasteren, Edsger W. Dijkstra:

On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Livres de poche

ISBN: 3540528490

[SR: 2628172], Paperback, [EAN: 9783540528494], Springer, Springer, Book, [PU: Springer], Springer, 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., 3508, Computer Science, 3887, AI & Machine Learning, 760204, Bioinformatics, 132559011, Computer Simulation, 107196011, Cybernetics, 132574011, Human-Computer Interaction, 107197011, Information Theory, 3897, Robotics, 602672, Systems Analysis & Design, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3870, Algorithms, 132570011, Data Structures, 3880, Genetic, 3882, Memory Management, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 4016, Software Development, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 107189011, Logic, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 13950, Logic, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 11053, Logic & Language, 11019, Philosophy, 3377866011, Politics & Social Sciences, 1000, Subjects, 283155, Books, 491314, Programming Languages, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491316, Software Design & Engineering, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 684280011, Logic, 468232, Philosophy, 468206, Humanities, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 468218, Mathematics, 491542, Algebra & Trigonometry, 491544, Calculus, 491546, Geometry, 491548, Statistics, 468216, Science & Mathematics, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

livre d'occasion Amazon.com
allnewbooks
Gebraucht Frais d'envoiUsually ships in 1-2 business days, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Antonetta J.M. van Gasteren, Edsger W. Dijkstra
Livre non disponible
(*)

Antonetta J.M. van Gasteren, Edsger W. Dijkstra:

On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Livres de poche

ISBN: 3540528490

[SR: 2628172], Paperback, [EAN: 9783540528494], Springer, Springer, Book, [PU: Springer], Springer, 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., 3508, Computer Science, 3887, AI & Machine Learning, 760204, Bioinformatics, 132559011, Computer Simulation, 107196011, Cybernetics, 132574011, Human-Computer Interaction, 107197011, Information Theory, 3897, Robotics, 602672, Systems Analysis & Design, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3870, Algorithms, 132570011, Data Structures, 3880, Genetic, 3882, Memory Management, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 4016, Software Development, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 107189011, Logic, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 13950, Logic, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 11053, Logic & Language, 11019, Philosophy, 3377866011, Politics & Social Sciences, 1000, Subjects, 283155, Books, 491314, Programming Languages, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491316, Software Design & Engineering, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 684280011, Logic, 468232, Philosophy, 468206, Humanities, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 468218, Mathematics, 491542, Algebra & Trigonometry, 491544, Calculus, 491546, Geometry, 491548, Statistics, 468216, Science & Mathematics, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

Nouveaux livres Amazon.com
affordable2015
Neuware Frais d'envoiUsually ships in 1-2 business days, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
On the Shape of Mathematical Arguments - Antonetta J. M. van Gasteren
Livre non disponible
(*)
Antonetta J. M. van Gasteren:
On the Shape of Mathematical Arguments - nouveau livre

ISBN: 9783540528494

ID: af439aa13e5e7cd99796604a64d85f9b

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 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. Bücher / Fremdsprachige Bücher / Englische Bücher 978-3-540-52849-4, Springer

Nouveaux livres Buch.de
Nr. 1884745 Frais d'envoiBücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Versandfertig in 5 - 7 Tagen, zzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Antonetta J.M. van Gasteren, Edsger W. Dijkstra (Foreword)
Livre non disponible
(*)
Antonetta J.M. van Gasteren, Edsger W. Dijkstra (Foreword):
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Livres de poche

1990, ISBN: 9783540528494

ID: 599396855

Springer, 1990-08-24. 1990. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available., Springer, 1990-08-24

livre d'occasion Biblio.com
Ergodebooks
Frais d'envoi EUR 13.24
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
On the Shape of Mathematical Arguments - Antonetta J.M. van Gasteren
Livre non disponible
(*)
Antonetta J.M. van Gasteren:
On the Shape of Mathematical Arguments - Livres de poche

1990, ISBN: 9783540528494

ID: 607368

1990, Softcover, Buch, [PU: Springer Berlin]

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

< Retour aux résultats de recherche...
Détails sur le livre
On the Shape of Mathematical Arguments
Auteur:

Dijkstra, Edsger W.; Gasteren, Antonetta J. M. van

Titre:

On the Shape of Mathematical Arguments

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-Verlag GmbH
196 Pages
Poids: 0,304 kg
Langue: eng/Englisch

Livre dans la base de données depuis 28.05.2007 20:39:21
Livre trouvé récemment le 20.09.2016 09:42:26
ISBN/EAN: 3540528490

ISBN - Autres types d'écriture:
3-540-52849-0, 978-3-540-52849-4

< Retour aux résultats de recherche...
< pour archiver...
Adjacent Livres