|
Lambda-kalkulus
A funkcionális programozás alapjai
Csörnyei Zoltán (Szerző)
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.
Tartalom:
- A λ-kalkulus
- A kombinátor logika
- Speciális kalkulusok
A könyv állapota jó.
Kiadó: Typotex
A kiadás helye: Budapest
A kiadás éve: 2007
Kötéstípus: Ragasztott papírkötés
Oldalszám: 296
|
