Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource On the shape of mathematical arguments, A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
On the shape of mathematical arguments, A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
Resource Information
The item On the shape of mathematical arguments, A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item On the shape of mathematical arguments, A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 "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."PUBLISHER'S WEBSITE
 Language
 eng
 Label
 On the shape of mathematical arguments
 Title
 On the shape of mathematical arguments
 Statement of responsibility
 A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
 Language
 eng
 Summary
 "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."PUBLISHER'S WEBSITE
 Cataloging source
 DLC
 http://library.link/vocab/creatorDate
 1952
 http://library.link/vocab/creatorName
 Gasteren, A. J. M.
 Index
 no index present
 LC call number
 QA9.54
 LC item number
 .G37 1990
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/subjectName

 Proof theory
 vérification logiciel
 théorie démonstration
 algorithme Euclide
 Preuve, Théorie de la
 Proof theory
 Mathématiques
 Label
 On the shape of mathematical arguments, A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Dimensions
 25 cm.
 Dimensions
 unknown
 Extent
 viii, 180 pages
 File format
 unknown
 Isbn
 9780387528496
 Isbn Type
 (New York : acidfree paper)
 Lccn
 90010551
 Level of compression
 unknown
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 Other physical details
 illustrations
 Quality assurance targets
 unknown
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)21948699
 (OCoLC)ocm21948699
 Label
 On the shape of mathematical arguments, A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Dimensions
 25 cm.
 Dimensions
 unknown
 Extent
 viii, 180 pages
 File format
 unknown
 Isbn
 9780387528496
 Isbn Type
 (New York : acidfree paper)
 Lccn
 90010551
 Level of compression
 unknown
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 Other physical details
 illustrations
 Quality assurance targets
 unknown
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)21948699
 (OCoLC)ocm21948699
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/OntheshapeofmathematicalargumentsA.J.M./PaxuiJi7EHg/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/OntheshapeofmathematicalargumentsA.J.M./PaxuiJi7EHg/">On the shape of mathematical arguments, A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item On the shape of mathematical arguments, A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/OntheshapeofmathematicalargumentsA.J.M./PaxuiJi7EHg/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/OntheshapeofmathematicalargumentsA.J.M./PaxuiJi7EHg/">On the shape of mathematical arguments, A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>