- 5 Risultati
prezzo più basso: € 53,49, prezzo più alto: € 136,77, prezzo medio: € 87,93
1
On the Shape of Mathematical Arguments
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

On the Shape of Mathematical Arguments - nuovo libro

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… Altro …

Nr. 978-3-540-52849-4. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
Chiudere (X)
2
On the Shape of Mathematical Arguments - Antonetta J.M. van Gasteren
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Antonetta J.M. van Gasteren:

On the Shape of Mathematical Arguments - edizione con copertina flessibile

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… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
3
Ordina
da AbeBooks.de
€ 64,08
Spedizione: € 9,311
Ordina
Dettagli del offerente
Link sponsorizzato
Antonetta J.M. van Gasteren:
On the Shape of Mathematical Arguments 445 Lecture Notes in Computer Science - edizione con copertina flessibile

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. Costi di spedizione: EUR 9.31 PBShop.store UK, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]
Chiudere (X)
4
Ordina
da AbeBooks.de
€ 131,82
Spedizione: € 23,271
Ordina
Dettagli del offerente
Link sponsorizzato
Gasteren, Antonetta J.M. van:
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science (445)) - edizione con copertina flessibile

1990, ISBN: 3540528490

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

NOT NEW BOOK. Costi di spedizione: EUR 23.27 Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)]
Chiudere (X)
5
Ordina
da Biblio.co.uk
$ 149,39
(indicativi € 136,77)
Spedizione: € 16,481
Ordina
Dettagli del offerente
Link sponsorizzato
Antonetta J.M. van Gasteren:
On the Shape of Mathematical Arguments - nuovo libro

ISBN: 9783540528494

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

Costi di spedizione: EUR 16.48 Cold Books
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
On the Shape of Mathematical Arguments
Autore:
Titolo:
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 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.

Informazioni dettagliate del libro - On the Shape of Mathematical Arguments


EAN (ISBN-13): 9783540528494
ISBN (ISBN-10): 3540528490
Copertina flessibile
Anno di pubblicazione: 1990
Editore: Springer Berlin Heidelberg
196 Pagine
Peso: 0,304 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-05-28T20:39:21+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-09-29T19:50:44+02:00 (Rome)
ISBN/EAN: 9783540528494

ISBN - Stili di scrittura alternativi:
3-540-52849-0, 978-3-540-52849-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : edsger dijkstra, dijkstra antonetta, gaster, van gasteren
Titolo del libro: mathematical, shape, handbook experimental pharmacology, just the arguments, lecture notes computer science

Dati dell'editore

Autore: Antonetta J.M. van Gasteren
Titolo: Lecture Notes in Computer Science; On the Shape of Mathematical Arguments
Editore: Springer; Springer Berlin
184 Pagine
Anno di pubblicazione: 1990-07-24
Berlin; Heidelberg; DE
Lingua: Inglese
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.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783540471660 On the Shape of Mathematical Arguments (Antonetta J.M. van Gasteren; Edsger W. Dijkstra)

< Per archiviare...