. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 65,39 €, größter Preis: 93,93 €, Mittelwert: 76,90 €
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Antonetta J.M. van Gasteren, Edsger W. Dijkstra
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Antonetta J.M. van Gasteren, Edsger W. Dijkstra:

On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Taschenbuch

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

gebrauchtes bzw. antiquarisches Buch Amazon.com
allnewbooks
Gebraucht Versandkosten:Usually ships in 1-2 business days, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Antonetta J.M. van Gasteren, Edsger W. Dijkstra
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

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

On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Taschenbuch

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

Neues Buch Amazon.com
affordable2015
Neuware Versandkosten:Usually ships in 1-2 business days, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Antonetta J.M. van Gasteren
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Antonetta J.M. van Gasteren:
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - gebrauchtes Buch

ISBN: 3540528490

ID: 3332771

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. algorithms,computer science,computers and technology,logic,mathematics,methodology,programming,science and math,software design testing and engineering,software development Computer Science, Springer

gebrauchtes bzw. antiquarisches Buch Thriftbooks.com
used Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
On the Shape of Mathematical Arguments - Antonetta J. M. van Gasteren
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Antonetta J. M. van Gasteren:
On the Shape of Mathematical Arguments - neues Buch

ISBN: 9783540528494

ID: 636603793

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. On the Shape of Mathematical Arguments Bücher > Fremdsprachige Bücher > Englische Bücher Taschenbuch 24.07.1990 Buch (fremdspr.), Springer, .199

Neues Buch Buch.ch
No. 1884745 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
On the Shape of Mathematical Arguments - Antonetta J. M. van Gasteren
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Antonetta J. M. van Gasteren:
On the Shape of Mathematical Arguments - neues Buch

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

Neues Buch Buch.de
Nr. 1884745 Versandkosten:Bü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
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
On the Shape of Mathematical Arguments
Autor:

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

Titel:

On the Shape of Mathematical Arguments

ISBN-Nummer:

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 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.

Detailangaben zum Buch - On the Shape of Mathematical Arguments


EAN (ISBN-13): 9783540528494
ISBN (ISBN-10): 3540528490
Taschenbuch
Erscheinungsjahr: 1990
Herausgeber: Springer-Verlag GmbH
196 Seiten
Gewicht: 0,304 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 28.05.2007 20:39:21
Buch zuletzt gefunden am 27.12.2016 18:51:26
ISBN/EAN: 9783540528494

ISBN - alternative Schreibweisen:
3-540-52849-0, 978-3-540-52849-4

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher