What people are saying - Write a review
We haven't found any reviews in the usual places.
The Synthesis of Algorithmic Systems
The Paradigm of Programming
13 other sections not shown
Other editions - View all
Alan Turing ALGOL 60 algorithm application argument arithmetic artificial intelligence AST system automatic basic Boolean combinatorial compiler complexity computer programming computer science concept construction data key data structures defined definition denote efficient elements equations evaluation example expression field formal FORTRAN FP systems functional forms functional programming give hardware heuristic Hiring Award ideas implementation important input integer lambda calculus linear logic machine mathematical mathematician matrix methods Neumann languages notation NP-complete numerical analysis objects output pair paper paradigm physical symbol system polynomial primitive functions problem procedure programming languages proof prove record recursive relational represented result rules semantics sequence simple solution solving storage structured programming style symbol systems syntax techniques theorem theory tion traveling salesman problem Turing Award Lecture Turing machine University UNIX users variables vector