Domov

Pisarna in šola

Knjige

Knjige, leposlovje, priročniki, ostalo

Lambda Calculus. Its Syntax and Semantics

LOKACIJE TRGOVIN

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 a... Preberi cel opis

27,25 €

14-21 dni

Hitro na ponudbo

-10 %30,26 €

27,25 €

z dostavo 30,24 €

Več o ponudbi

Ponudba trgovine Libristo.si za izdelek Lambda Calculus. Its Syntax and Semantics. Pravilnost cene in podatkov preveri na spletni strani trgovine.

Parametri izdelka

Lambda Calculus. Its Syntax and Semantics

Glavni parametri

Pomembna informacija

Ti podatki so zbrani z uradnih strani izdelkov. Preden nadaljujete do končnega nakupa, preverite podrobnosti. Če opazite težavo, jo lahko sporočite tukaj.

Hitro na ponudbo

Proizvajalec

Jezik

angleščina

Cuin

CX02F80732

Prijavi napako

PODOBNI IZDELKI

Več o izdelku

Stop Letting Everything Affect You

v Libristo.si

21,80 €

Več o izdelku

Elder Scrolls: The Official Cookbook

v 2 trgovinah

od 27,43 €

Več o izdelku

Messengers of Deception

v Libristo.si

24,31 €

Več o izdelku

PSYCHOLOGY OF MONEY [DLX LTD ED]

Več o izdelku

Več o izdelku

Book of Wisdom Volume 1 and 2

Več o izdelku

Več o izdelku

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

Lambda Calculus. Its Syntax and Semantics

27,25 €

v Libristo.si

Hitro na ponudbo

	Ceneje.si e-novičke s predstavitvijo kategorij izdelkov, zanimivimi ponudbami in nakupovalnimi nasveti ter pomembna obvestila uporabnikom
	Personalizirane in relevantne ponudbe izdelkov iz kategorij, ki te zanimajo (Da ti lahko ponudimo prilagojeno vsebino, bomo na ceneje.si spremljali tvoje aktivnosti, analizirali interese in uporabili profiliranje ter avtomatizirano odločanje)
	Spletne kataloge in letake trgovcev - prelistaš jih lahko takoj, ko izidejo

Lambda Calculus. Its Syntax and Semantics

Parametri izdelka

Lambda Calculus. Its Syntax and Semantics

Pomembna informacija

PODOBNI IZDELKI

SORODNI IZDELKI