Mathematical Theory of Program CorrectnessJaco de Bakker1. Introduction 2. Basic concepts 3. While statements 4. Subscripted variables 5. Recursive procedures 6. Blocks 7. Nondeterministic statements 8. Weakest preconditions, strongest postconditions and termination 9. Parameter mechanisms 10. Goto statements

A Discipline of ProgrammingEdsger W. Dijkstra0. Executional abstraction 1. The role of programming languages 2. States and their characterization 3. The characterization of semantics 4. The semantic characterization of a programming language 5. Two theorems 6. On the design of properly terminating constructs 7. Euclid's algorithm revisited 8. The formal treatment of some small examples 9. On nondeterminacy being bounded 10. An essay on the notion: "the scope of variables" 11. Array variables 12....

Formal Development of Programs and ProofsEdsger W. Dijkstra (Ed.)1. Constructive type theory: a perspective from computing science - R. C. Backhouse 2. The maximum-segment-sum problem - D. Gries 3. Inorder traversal of a binary tree and its inversion - D. Gries, J. L. van de Snepscheut 4. A hands-in-the pocket presentation of a k-majority vote algorithm - D. Gries 5. A small problem on rectangles - A. J. van Gasteren 6. On the formal derivation of a proof of the invariance theorem - A. J. van...

The Design and Analysis of Computer AlgorithmsAlfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman1. Models of Computation 2. Design of Efficient Algorithms 3. Sorting and Order Statistics 4. Data Structures for Set Manipulation Problems 5. Algorithms on Graphs 6. Matrix Multiplication and Related Operations 7. The Fast Fourier Transform and its Applications 8. Integer ond Polynomial Arithmetic 9. Pattern-Matching Algorithms 10. NP-Complete Problems 11. Some Provably Intractable Problems 12. Lo...

The Science of ProgrammingDavid GriesWhy Use Logic? Why Prove Programs Correct? Part I: Propositions and Predicates 1. Propositions 2. Reasoning using Equivalence Transformations 3. A Natural Deduction System 4. Predicates 5. Notations and Conventions for Arrays 6. Using Assertions To Document Programs Part II: The Semantics of a Small Language 7. The Predicate Transformer wp 8. The Commands skip, abort and Composition 9. The Assignment Command 10. The Alternative Command 11. The Iterative Comm...

Go To - Software superheroes from Fortran to the internet ageSteve Lohr1. Introduction: The Rise of Software and the Programming Art 2. FORTRAN: The Early "Turning Point" 3. The Hard Lesson of the Sixties: From Exuberance to the Realities of COBOL and the IBM 360 Project 4. Breaking Big Iron's Grip: Unix and C 5. Programming for the Millions: The BASIC Story from Dartmouth to Visual Basic 6. The European Influence: From Algol to Pascal to C++ 7. A Computer of My Own: The Beginning of the PC Indu...

Dynamics of Software DevelopmentJim McCarthyShipping great software can be done, insists McCarthy, and charts, in five sections, the progress from initial design to successful product. McCarthy is a software industry veteran and the director of the Microsoft Visual C++ development group. Recensie: "This book changed my life. It is based on a talk that Jim McCarthy gave while at Microsoft teaching people how the Visual C++ team went from the goats of the company (which was founded on languages, ...

Artificial IntelligencePatrick Henry Winston1. The intelligent computer 2. Description matching and goal reduction 3. Exploiting natural constraints 4. Exploring alternatives 5. Control metaphors 6. Problem-solving paradigms 7. Logic and theorem proving 8. Representing commonsense knowledge 9. Language understanding 10. Image understanding 11. Learning class descriptions from samples 12. Learning rules from experience

Leonardo's Laptop - Human Needs and the New Computing TechnologiesBen Shneiderman1. Inspiration for the new computing 2. Unusable at any bandwidth 3. The quest for universal usability 4. New methods, new goals 5. Understanding human activities 6. The new education: e-learning 7. The new commerce: e-business 8. The medicine: e-healthcare 9. The new politics: e-government 10. Mega-creativity 11. Grander goals

Beyond Calculation - The Next Fifty Years of ComputingPeter J. Denning, Robert M. MetcalfePart I: The Coming Revolution Part II: Computers and Human Identity Part III: Business and Innovation

Digitaal LevenNicholas NegroponteMenselijke interactie vindt steeds vaker plaats met behulp van bits, 'Het nieuwe DNA van informatie'. Nicholas Negroponte toont ons de gevolgen van deze ontwikkeling. De computer evalueert van een levenloos voorwerp tot een altijd beschikbare gesprekspartner. Op heldere en humoristische wijze beschrijft Negroponte hoe onze toekomst eruit zal zien, de toekomst van het digitale leven. Nicholas Negroponte is hoogleraar mediatechnologie aan het Massachusetts Institu...

Logic Machines and DiagramsMartin Gardner1. The Ars Magna of Ramon Lull 2. Logic Diagrams 3. A Network Diagram for the Propositional Calculus 4. The Stanhope Demonstrator 5. Jevon's Logic Machine 6. Marquand's Machine and Others 7. Window Cards 8. Early Electrical Machines 9. Machine Intelligence

Algorithms to Live By - The Computer Science of Human DecisionsBrian Christian, Tom GriffithsAn exploration of how computer algorithms can be applied to our everyday lives to solve common decision-making problems and illuminate the workings of the human mind. What should we do, or leave undone, in a day or a lifetime? How much messiness should we accept? What balance of the new and familiar is the most fulfilling? These may seem like uniquely human quandaries, but they are not. Computers, like ...

Mathematische Unterhaltungen und Spiele - mit dem programmierbaren TaschenrechnerHans Heinrich Gloistehn1. Würfelspiele 2. Diophantische Probleme 3. Ratespiele 4. Einige Probleme aus der numerischen Mathematik 5. Einige Probleme mit Zufallszahlen 6. Zahlen- und Anordnungsspiele 7. Der Taschenrechner als 'Simulant'

MathematicaNancy BlachmanI. Inleiding tot Mathematica II. Programmeren III. Appendices