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
191537,190 (4.33)None
All member reviews
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 |

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.

 

Help/FAQs | About | Privacy/Terms | Blog | Contact | LibraryThing.com | APIs | WikiThing | Common Knowledge | Legacy Libraries | Early Reviewers | 93,983,772 books! | Top bar: Always visible