wwf
Mathematische Unterhaltungen und Spiele - mit dem programmierbaren Taschenrechner
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'
€2,00
0 biedingen
wwf
Mathematical Theory of Program Correctness
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
€2,00
0 biedingen
wwf
Logic Machines and Diagrams
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
€2,00
1 bod
wwf
A Discipline of Programming
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....
€2,00
1 bod
wwf
The Science of Programming
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...
€2,00
0 biedingen
wwf
Mathematica
MathematicaNancy BlachmanI. Inleiding tot Mathematica
II. Programmeren
III. Appendices
€2,00
0 biedingen
wwf
Algorithms to Live By - The Computer Science of Human Decisions
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 ...
€2,00
1 bod
wwf
Leonardo's Laptop - Human Needs and the New Computing Technologies
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
€2,00
0 biedingen
wwf
Artificial Intelligence
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
€2,00
0 biedingen
wwf
Beyond Calculation - The Next Fifty Years of Computing
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
€2,00
0 biedingen