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… Meer...
Springer.com Nr. 978-3-540-52849-4. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
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… Meer...
Hugendubel.de Verzendingskosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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
AbeBooks.de PBShop.store UK, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: EUR 9.31 Details... |
1990, ISBN: 3540528490
[EAN: 9783540528494], Gebraucht, wie neu, [PU: Springer], Like New, Books
AbeBooks.de Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)] NOT NEW BOOK. Verzendingskosten: EUR 23.27 Details... |
ISBN: 9783540528494
Springer , pp. 200 . Papeback. New., Springer, 6
Biblio.co.uk |
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… Meer...
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… Meer...
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
1990, ISBN: 3540528490
[EAN: 9783540528494], Gebraucht, wie neu, [PU: Springer], Like New, Books
ISBN: 9783540528494
Springer , pp. 200 . Papeback. New., Springer, 6
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - On the Shape of Mathematical Arguments
EAN (ISBN-13): 9783540528494
ISBN (ISBN-10): 3540528490
pocket book
Verschijningsjaar: 1990
Uitgever: Springer Berlin Heidelberg
196 Bladzijden
Gewicht: 0,304 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-05-28T20:39:21+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-09-29T19:50:44+02:00 (Amsterdam)
ISBN/EAN: 3540528490
ISBN - alternatieve schrijfwijzen:
3-540-52849-0, 978-3-540-52849-4
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: edsger dijkstra, dijkstra antonetta, gaster, van gasteren
Titel van het boek: mathematical, shape, handbook experimental pharmacology, just the arguments, lecture notes computer science
Gegevens van de uitgever
Auteur: Antonetta J.M. van Gasteren
Titel: Lecture Notes in Computer Science; On the Shape of Mathematical Arguments
Uitgeverij: Springer; Springer Berlin
184 Bladzijden
Verschijningsjaar: 1990-07-24
Berlin; Heidelberg; DE
Taal: Engels
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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783540471660 On the Shape of Mathematical Arguments (Antonetta J.M. van Gasteren; Edsger W. Dijkstra)
< naar Archief...