. .
Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 68,00 €, prix le plus élevé: 88,24 €, prix moyen: 75,96 €
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Antonetta J.M. van Gasteren
Livre non disponible
(*)
Antonetta J.M. van Gasteren:
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Livres de poche

2008, ISBN: 3540528490

[SR: 8874042], Paperback, [EAN: 9783540528494], Springer, Springer, Book, [PU: Springer], 2008-06-27, Springer, On the Shape of Mathematical Arguments Featuring a technical rather than psychological view of heuristics and a stress on exploiting formalism effectively, this book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Full description, 269656, Architecture & Microprocessors, 269265, Computer Science, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269709, Algorithms, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159961, Functional Programming, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159951, Software Architecture, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 278366, Mathematical Logic, 278363, Mathematical Foundations, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 922942, Maths, 922868, Popular Science, 57, Science & Nature, 1025612, Subjects, 266239, Books, 564352, Mathematics, 570902, Algebra, 570874, Applied Mathematics, 570912, Calculus & Mathematical Analysis, 570934, Combinatorics & Graph Theory, 570936, Geometry, 570964, Mathematical Theory, 564334, Scientific, Technical & Medical, 1025612, Subjects, 266239, Books, 276315, Philosophy, 496404, History, 496508, Introduction to Philosophy, 276319, Non-Western, 496410, Philosophers, 60, Society, Politics & Philosophy, 1025612, Subjects, 266239, Books

livre d'occasion Amazon.co.uk
Herb Tandree Philosophy Books
Gebraucht Frais d'envoiEuropa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days (EUR 4.80)
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
Livre non disponible
(*)
Antonetta J.M. van Gasteren:
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - Livres de poche

2008, ISBN: 3540528490

[SR: 8874042], Paperback, [EAN: 9783540528494], Springer, Springer, Book, [PU: Springer], 2008-06-27, Springer, On the Shape of Mathematical Arguments Featuring a technical rather than psychological view of heuristics and a stress on exploiting formalism effectively, this book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Full description, 269656, Architecture & Microprocessors, 269265, Computer Science, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269709, Algorithms, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159961, Functional Programming, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159951, Software Architecture, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 278366, Mathematical Logic, 278363, Mathematical Foundations, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 922942, Maths, 922868, Popular Science, 57, Science & Nature, 1025612, Subjects, 266239, Books, 564352, Mathematics, 570902, Algebra, 570874, Applied Mathematics, 570912, Calculus & Mathematical Analysis, 570934, Combinatorics & Graph Theory, 570936, Geometry, 570964, Mathematical Theory, 564334, Scientific, Technical & Medical, 1025612, Subjects, 266239, Books, 276315, Philosophy, 496404, History, 496508, Introduction to Philosophy, 276319, Non-Western, 496410, Philosophers, 60, Society, Politics & Philosophy, 1025612, Subjects, 266239, Books

Nouveaux livres Amazon.co.uk
BOOKS etc
, Neuware Frais d'envoiEuropa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days (EUR 4.80)
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
Livre non disponible
(*)
Antonetta J.M. van Gasteren:
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science) - livre d'occasion

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

livre d'occasion Thriftbooks.com
used Frais d'envoizzgl. 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 - Antonetta J.M.Van Gasteren
Livre non disponible
(*)
Antonetta J.M.Van Gasteren:
On the Shape of Mathematical Arguments - Livres de poche

ISBN: 9783540528494

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Featuring a technical rather than psychological view of heuristics and a stress on exploiting formalism effectively, this book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms., Computer Programming / Software Development

Nouveaux livres Bookdepository.com
Frais d'envoiVersandkostenfrei (EUR 0.00)
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; Edsger W. Dijkstra
Livre non disponible
(*)
Antonetta J.M. van Gasteren; Edsger W. Dijkstra:
On the Shape of Mathematical Arguments - nouveau livre

ISBN: 9783540528494

ID: 9783540528494

Computer Science; Software Engineering/Programming and Operating Systems; Logic; Logics and Meanings of Programs; Software Engineering Algorithmenentwurf, Lösen von Aufgaben, algorithm, algorithm design, algorithms, formalization, mathematical methodology, mathematische Methodik, problem solving, proof theory Books Book, Springer Science+Business Media

Nouveaux livres Springer.com
Frais d'envoi EUR 0.00
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
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.

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 10.06.2017 12:32:05
ISBN/EAN: 3540528490

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


< pour archiver...
Livres en relation