Shopping cart
Simmons, H. - Derivation and Computation - 9780521771733 - V9780521771733
Stock image for illustration purposes only - book cover, edition or condition may vary.

Derivation and Computation

€ 146.65
FREE Delivery in Ireland
Description for Derivation and Computation Hardcover. An introduction to simple type theory, containing 200 exercises with complete solutions. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 412 pages, 23 tables 193 exercises. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 161 x 236 x 25. Weight in Grams: 668.
Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is the production of results according to well-defined sets of rules. The two notions are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. The aim of the author is to explore this relationship. The book itself forms an introduction to simple type theory. Starting from the familiar propositional calculus the author develops the central idea of an applied lambda-calculus. This is illustrated by an account of Goedel's T, a system which codifies number-theoretic function hierarchies. Each of the ... Read more

Product Details

Publication date
Cambridge University Press United Kingdom
Number of pages
Cambridge Tracts in Theoretical Computer Science
Number of Pages
Place of Publication
Cambridge, United Kingdom
Shipping Time
Usually ships in 4 to 8 working days

Reviews for Derivation and Computation
'A well-written introduction to proof theory and its connections with computability.' Leon Harkleroad, Zentralblatt fur Mathematik '... recommended for the student or researcher who's been exposed to bits and pieces of the Curry-Howard correspondence, but wants a sharper idea of the big picture and is willing to work through the exercises to see how the details fit together. Simmons has ... Read more

Goodreads reviews for Derivation and Computation