Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Hardcover

Libristo-Code: 02042580

Verlag Cambridge University Press, Mai 2000

Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is... Vollständige Beschreibung

Libristo-Code: 02042580

453 b

185.09 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

27.95 €

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

Broschur

19.49 €

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

Broschur

7.89 €

Zechenbrand Margit Kruse

Broschur

17.00 €

Briefe zur Logik des Hermes Constantin Noica

Broschur

31.89 €

Der schlaue Urfin und seine Holzsoldaten Alexander Wolkow

Hardcover

18.00 €

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

Broschur

41.09 €

Du contrôle social en Afrique. Samson

Broschur

35.59 €

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

Broschur

48.60 €

BLAZER DRIVE SEISHI KISHIMOTO

Broschur

11.59 €

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

Buch

19.89 €

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

Broschur

20.99 €

Medizinische Kommunikation Sascha Bechmann

Broschur

27.90 €

Alle träumten von Cuba Miguel Barnet

Broschur

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Derivation and Computation

Autor H. Simmons

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2000

Anzahl der Seiten 412

EAN 9780521771733

ISBN 0521771730

Libristo-Code 02042580

Verlag Cambridge University Press

Gewicht 668

Abmessungen 236 x 161 x 25

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert