Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Derivation and Computation

Name: Derivation and Computation
Brand: Cambridge University Press
SKU: 02042580
Price: 185.09 EUR
Availability: InStock
Author: H. Simmons
ISBN: 9780521771733

H. Simmons

Language

English

Book Hardback

Libristo code: 02042580

Publishers Cambridge University Press, May 2000

Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is... Full description

Libristo code: 02042580

453 b

185.09 € VAT included

In stock at our supplier Shipping in 9-15 days

Delivery to Austria

30-day return policy

Customers also purchased

Cambridge IGCSE(TM) Mandarin Coursebook Digital edition Martin Mak

Adobe ePub DRM

35.59 €

Soziale Folgen globaler Rationalisierungsprozesse seit dem Ende des Zweiten Weltkrieges - unter besonderer Berucksichtigung der Bundesrepublik Deutsch Dirk Brockmeyer

Paperback

27.95 €

AGUAS SANADORAS, LAS.44 CARTAS Y LIBRO GUIA.(ORACULO) Rebecca Campbell

Paperback

19.49 €

KAGUYA-SAMA Miłość to wojna. Tom 4 Aka Akasaka

Paperback

7.89 €

Zechenbrand Margit Kruse

Paperback

17.00 €

Briefe zur Logik des Hermes Constantin Noica

Paperback

31.89 €

Der schlaue Urfin und seine Holzsoldaten Alexander Wolkow

Hardback

18.00 €

Gulielmi Lilii De latinorum nominum generibus, de verborum praeteritis et supinis Carl von Reifitz

Paperback

41.09 €

Du contrôle social en Afrique. Samson

Paperback

35.59 €

Kopf-Hals-Operationen - Hals-Nasen-Ohren-Heilkunde Ahmed Al abbasi

Paperback

48.60 €

BLAZER DRIVE SEISHI KISHIMOTO

Paperback

11.59 €

L'indispensable guide des araignées de France et autres arachnides Merlier

Book

19.89 €

Die Theorie Der Kolloide: Ubersicht Uber Die Forschungen, Betreffend Die Natur Des Kolloidalzustandes (1903) Arthur Muller

Paperback

20.99 €

Medizinische Kommunikation Sascha Bechmann

Paperback

27.90 €

Alle träumten von Cuba Miguel Barnet

Paperback

16.49 €

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 Gödel's T, a system which codifies number-theoretic function hierarchies. Each of the book's 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject, and develop a further understanding. An appendix contains complete solutions of these exercises.