Zur Startseite gehen
0,00 €*
Cover: 9781848900660 | The Lambda Calculus. Its Syntax and Semantics | Henk Barendregt | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
The Lambda Calculus. Its Syntax and Semantics
Taschenbuch von Henk Barendregt
Sprache: Englisch

41,25 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic.

The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to actually obtain the result one has to rewrite the expression FM according to
the reduction rules. Abstraction provides a way to create functions according to the effect when applying them.

The power of the theory comes from the fact that computations, both terminating and infinite, can be expressed by lambda terms at a 'comfortable' level of abstraction.
The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic.

The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to actually obtain the result one has to rewrite the expression FM according to
the reduction rules. Abstraction provides a way to create functions according to the effect when applying them.

The power of the theory comes from the fact that computations, both terminating and infinite, can be expressed by lambda terms at a 'comfortable' level of abstraction.
Details
Erscheinungsjahr: 2012
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 656
ISBN-13: 9781848900660
ISBN-10: 184890066X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Barendregt, Henk
Hersteller: College Publications
Maße: 234 x 156 x 36 mm
Von/Mit: Henk Barendregt
Erscheinungsdatum: 30.04.2012
Gewicht: 0,98 kg
preigu-id: 106287165
Details
Erscheinungsjahr: 2012
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 656
ISBN-13: 9781848900660
ISBN-10: 184890066X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Barendregt, Henk
Hersteller: College Publications
Maße: 234 x 156 x 36 mm
Von/Mit: Henk Barendregt
Erscheinungsdatum: 30.04.2012
Gewicht: 0,98 kg
preigu-id: 106287165
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780974514086 | Practices of an Agile Developer: Working in the Real World | Buch
Practices of an Agile Developer
Working in the Real World
EAN: 9780974514086
Sprache: Englisch
Von/Mit: Venkat Subramaniam (u. a.)

29,75 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783519005186 | Logik für Informatiker | Jürgen Dassow | Taschenbuch | 177 S. | 2005
Logik für Informatiker
EAN: 9783519005186
Sprache: Deutsch
Von/Mit: Jürgen Dassow

34,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783658008291 | Risikoanalyse | Claudia Cottin (u. a.) | Taschenbuch | 2009
Risikoanalyse
Modellierung, Beurteilung und Management von Risiken mit Praxisbeispielen
EAN: 9783658008291
Sprache: Deutsch
Von/Mit: Claudia Cottin (u. a.)

49,99 €*

Lieferzeit 1-2 Werktage

Buch
Cover: 9781785481697 | Model-Based System and Architecture Engineering with the Arcadia...
Model-based System and Architecture Engineering with the Arcadia Method
EAN: 9781785481697
Sprache: Englisch
Von/Mit: Jean-Luc Voirin

166,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783122807276 | MiniMax 1/2 / Mach-Mit-Kartei Klasse 1/2 | Taschenbuch | Deutsch
MiniMax 1/2 / Mach-Mit-Kartei Klasse 1/2
EAN: 9783122807276
Sprache: Deutsch
Maße: 211 x 151 x 27 mm

17,75 €*

Lieferzeit 1-2 Werktage

Bundle
Cover: 9783658328696 | Digitale Intelligenz | Das Betriebssystem für Digitale Revolutionäre
Digitale Intelligenz
Das Betriebssystem für Digitale Revolutionäre
EAN: 9783658328696
Sprache: Deutsch
Von/Mit: Stefan Stoll (u. a.)

24,99 €*

Lieferzeit 1-2 Werktage

Buch
Cover: 9789811660535 | Graph Neural Networks: Foundations, Frontiers, and Applications | Buch
Graph Neural Networks: Foundations, Frontiers, and Applications
EAN: 9789811660535
Sprache: Englisch
Von/Mit: Lingfei Wu (u. a.)

91,40 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9780750999366 | Machines Behaving Badly | The Morality of AI | Toby Walsh | Buch
Machines Behaving Badly
The Morality of AI
EAN: 9780750999366
Sprache: Englisch
Von/Mit: Toby Walsh

26,85 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783661611907 | mathe.delta NRW LB 10 | Michael Kleine (u. a.) | Taschenbuch | 208 S.
mathe.delta NRW LB 10
EAN: 9783661611907
Sprache: Deutsch
Von/Mit: Michael Kleine (u. a.)
Maße: 297 x 212 x 12 mm

32,50 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783758305313 | Der leere Geist und die künstliche Intelligenz | Günter von Hummel
Der leere Geist und die künstliche Intelligenz
Ein Vergleich psychologischer Verfahren mit der KI und ein Weg zu neuer Selbstbestimmtheit
EAN: 9783758305313
Sprache: Deutsch
Von/Mit: Günter von Hummel

11,50 €*

Lieferzeit 4-7 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...