The Lambda Calculus. Its Syntax and Semantics - Anja's

Cover: 9781848900660 | The Lambda Calculus. Its Syntax and Semantics | Henk Barendregt | Buch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

38,80 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

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
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

Artikel-ID: 106287165

Details

Erscheinungsjahr:	2012
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
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

Artikel-ID: 106287165

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Broschüre

Cover: 9783507878631 | Mathematik heute 7. Arbeitsheft. Sachsen-Anhalt | Ausgabe 2009 | 2010

Mathematik heute 7. Arbeitsheft. Sachsen-Anhalt

EAN: 9783507878631

Sprache: Deutsch

Von/Mit: Heinz Griesel

Maße: 291 x 207 x 5 mm

9,50 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9780521780193 | An Introduction to Support Vector Machines and Other Kernel-based...

An Introduction to Support Vector Machines and Other Kernel-based Learning Methods

EAN: 9780521780193

Sprache: Englisch

Von/Mit: John Shawe-Taylor

108,60 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9783540606703 | Constraint-Programmierung | Grundlagen und Anwendungen | Taschenbuch

Constraint-Programmierung

Grundlagen und Anwendungen

EAN: 9783540606703

Sprache: Deutsch

Von/Mit: Slim Abdennadher (u. a.)

22,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9783403079125 | Mathematikunterricht mit Flüchtlingskindern 5-7 | Julian Stey | Buch

Mathematikunterricht mit Flüchtlingskindern 5-7

Arbeitsblätter mit darauf abgestimmten Wortschatz- karten Sofort-Hilfe für Lehrer ohne DaZ-Kenntniss (5. bis 7. Klasse)

EAN: 9783403079125

Sprache: Deutsch

Von/Mit: Julian Stey

Maße: 297 x 207 x 10 mm

21,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781593278618 | Real-World Bug Hunting | A Field Guide to Web Hacking | Peter Yaworski

Real-World Bug Hunting

A Field Guide to Web Hacking

EAN: 9781593278618

Sprache: Englisch

Von/Mit: Peter Yaworski

39,25 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783527715572 | Grundlagen der Differenzialgleichungen für Dummies | Timm Sigg | Buch

Grundlagen der Differenzialgleichungen für Dummies

EAN: 9783527715572

Sprache: Deutsch

Von/Mit: Timm Sigg

19,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781484255803 | Refactoring Legacy T-SQL for Improved Performance | Lisa Bohm | Buch

Refactoring Legacy T-SQL for Improved Performance

Modern Practices for SQL Server Applications

EAN: 9781484255803

Sprache: Englisch

Von/Mit: Lisa Bohm

55,50 €*

Aktuell nicht verfügbar

Bundle

Cover: 9783446467262 | Machine Learning für Zeitreihen | Jochen Hirschle | Bundle | 1 Buch

Machine Learning für Zeitreihen

Einstieg in Regressions-, ARIMA- und Deep Learning-Verfahren mit Python. Inkl. E-Book

EAN: 9783446467262

Sprache: Deutsch

Von/Mit: Jochen Hirschle

39,99 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9780135732588 | Calculus | A Complete Course | Christopher Essex (u. a.) | Buch | 2021

A Complete Course

EAN: 9780135732588

Sprache: Englisch

Von/Mit: Christopher Essex (u. a.)

94,60 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783662674260 | Deepfakes und Recht | Martina Block | Taschenbuch | essentials | x

Deepfakes und Recht

Einführung in den deutschen Rechtsrahmen für synthetische Medien

EAN: 9783662674260

Sprache: Deutsch

Von/Mit: Martina Block

14,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783701736096 | Kommunikation mit unverständlichen Maschinen | Elena Esposito | Buch

Kommunikation mit unverständlichen Maschinen

EAN: 9783701736096

Sprache: Deutsch

Von/Mit: Elena Esposito

20,00 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9783959058360 | Alexander Kluge: Der Konjunktiv der Bilder | Alexander Kluge | Buch

Alexander Kluge: Der Konjunktiv der Bilder

Meine virtuelle Kamera (K.I.)

EAN: 9783959058360

Sprache: Deutsch

Von/Mit: Alexander Kluge

26,00 €*

Lieferzeit 1-2 Werktage