HomeGroupsTalkZeitgeist
Hide this

Results from Google Books

Click on a thumbnail to go to Google Books.

A Method of Programming by Edsger W.…
Loading...

A Method of Programming

by Edsger W. Dijkstra

MembersReviewsPopularityAverage ratingConversations
211495,208 (4.33)None

None.

None
Loading...

Sign up for LibraryThing to find out whether you'll like this book.

No current Talk conversations about this book.

An elegant set of definitions, examples, and exercises for beginning a path of programming by calculation*. As a little beginner, 'A Method of Programming' was a big part of a big first step and more than a path measurable by any length. It was a step, not a path; a method, not a methodology.

Tree of Contents:

Preface

PART 0

• A method programming
• Mechanisms and their state
• Programs and their construction
• The assignment := statement
• Permissible expressions
• Concatenation of statements;
• The if alternative statement fi
• Permissible Boolean expressions
• The do repetitive statement
|[ An intermezzo about inner blocks ]|
od
• The array
• The minimal segment sum
• The maximal monotone subsequence
• The inversion count
• Numbers with factors 2, 3 and 5 only
• Coordinate transformation
• On account of a directed graph
• The shortest path
• The binary search
• The longest upsequence

PART 1

0 General Introduction
0.0 Predicate calculus
0.1 Mathematical induction
0.2 Remaining concepts
0.2.0 General
0.2.1 Other quantified expressions
0.3 Miscellaneous exercices
|[ goto(PART 0 ;-) ]|
1 Functional specifications and proof obligations
2 Programming exercises
3 Solutions to selected exercises

Index

*{p} ;step {q} or {p} ;skip {q} ( )
  index.html | Dec 13, 2008 |
no reviews | add a review
You must log in to edit Common Knowledge data.
For more help see the Common Knowledge help page.
Series (with order)
Canonical title
Original title
Alternative titles
Original publication date
People/Characters
Important places
Important events
Related movies
Awards and honors
Epigraph
Dedication
First words
Quotations
Last words
Disambiguation notice
Publisher's editors
Blurbers
Publisher series
Original language

References to this work on external resources.

Wikipedia in English

None

Book description
Haiku summary

No descriptions found.

No library descriptions found.

Quick Links

Swap Ebooks Audio
2 wanted

Popular covers

Rating

Average: (4.33)
0.5
1
1.5
2
2.5
3
3.5
4 2
4.5
5 1

Is this you?

Become a LibraryThing Author.

 

About | Contact | Privacy/Terms | Help/FAQs | Blog | Store | APIs | TinyCat | Legacy Libraries | Early Reviewers | Common Knowledge | 119,363,354 books! | Top bar: Always visible