Csörnyei Zoltán

Lambda- kalkulus / A funkcionális programozás alapjai / (Könyv)

3 500 Ft(Az elmúlt 30 nap legalacsonyabb
ára: 3 500 Ft volt)

Kosárba

rendelhető

A kalkulus az első funkcionális programnyelv annak

ellenére, hogy kidolgozásának időpontjában még nem is

voltak számítógépek. Ugyanakkor egy olyan egyszerű

funkcionális programnyelv, amelyre minden más magas

szintű nyelven írt program átalakítható. Minden

funkcionális program egy kifejezésnek tekinthető, a

program végrehajtása pedig a kifejezés

kiértékelését jelenti. Maga a kalkulus az ehhez

szükséges átalakítási szabályokat adja meg. A könyv a

-kalkulusnak a funkcionális programozással való

kapcsolatát hangsúlyozza, de a kalkulust az

informatika más területein is használják. Szerepel

például a kiszámíthatósággal kapcsolatban mint a

klasszikus számítási modell, a szemantikaanyagban

mint a denotációs szemantika alapja. A programozási

nyelvek témájában pedig mint egy olyan egyszerű

nyelv, amellyel leírhatók a programnyelvek

alapfogalmai, és erről az egyszerű nyelvről

bizonyítható, hogy Turing-teljes.

Könyvünket az informatikus egyetemi hallgatók és

informatikus szakemberek használhatják eredményesen,

és különösen azoknak ajánljuk, akik funkcionális

programnyelvekkel foglalkoznak.

Csörnyei Zoltán egyetemi docens az ELTE Informatikai

Kar Programozási Nyelvek és Fordító-programok

Tanszékének tanára.

Csörnyei Zoltán: Lambda- kalkulus / A funkcionális programozás alapjai / könyv ára: 3 500 Ft