Termékek a kosárban

Összesen: 0 Ft

Tovább a kosárhoz

Még vásárolni szeretnék




Rocky könyv, DVD webáruház - Hűségprogram


Rocky könyv, DVD webáruház - Pénzvisszafizetési garancia


Rocky könyv, DVD webáruház - MPL PostaPont


Rocky könyv, DVD webáruház - ügyfélszolgálat

Csörnyei Zoltán - Lambda-kalkulus - A funkcionális programozás alapjai

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

A funkcionális programozás alapjai

Író:
Csörnyei Zoltán;

Kategória:
Könyv > Számítástechnika > Programozás;
2 975 Ft
(Eredeti ár: 3 500 Ft)
Megtakarítás: 15%
Szállítás: Bizonytalan



Tartalom:


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.


Eredeti név: LAMBDA-KALKULUS
Kiadás éve: 2007
Oldalak száma: 296 oldal
Kötésmód: puhatáblás, ragasztókötött
ISBN: 9789639664463
EAN: 2017600016001





Oldal frissítés:

Tag-ek: Csörnyei Zoltán