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.
Megvásárolható formátumok és részek |
---|
Teljes könyv 1-279 - pdf Ár: 1 260 Ft |
Kosárba |
Fejezet 5-18 - pdf Ár: 70 Ft |
Kosárba |
Fejezet 19-38 - pdf Ár: 100 Ft |
Kosárba |
Fejezet 39-51 - pdf Ár: 70 Ft |
Kosárba |
Fejezet 53-86 - pdf Ár: 170 Ft |
Kosárba |
Fejezet 87-96 - pdf Ár: 50 Ft |
Kosárba |
Fejezet 97-128 - pdf Ár: 160 Ft |
Kosárba |
Fejezet 129-143 - pdf Ár: 80 Ft |
Kosárba |
Fejezet 147-152 - pdf Ár: 30 Ft |
Kosárba |
Fejezet 153-158 - pdf Ár: 30 Ft |
Kosárba |
Fejezet 159-164 - pdf Ár: 30 Ft |
Kosárba |
Fejezet 165-185 - pdf Ár: 110 Ft |
Kosárba |
Fejezet 187-191 - pdf Ár: 30 Ft |
Kosárba |
Fejezet 193-201 - pdf Ár: 50 Ft |
Kosárba |
Fejezet 203-210 - pdf Ár: 40 Ft |
Kosárba |
Fejezet 211-219 - pdf Ár: 50 Ft |
Kosárba |
Fejezet 223-230 - pdf Ár: 40 Ft |
Kosárba |
Fejezet 231-239 - pdf Ár: 50 Ft |
Kosárba |
Fejezet 241-251 - pdf Ár: 60 Ft |
Kosárba |
Fejezet 253-265 - pdf Ár: 70 Ft |
Kosárba |
Fejezet 267-276 - pdf Ár: 50 Ft |
Kosárba |
Ingyenesen megtekinthető részek |
---|
Tartalomjegyzék - Fejezet 5-8 pdf |
Előszó - Fejezet 9-10 pdf |
Bevezetés - Fejezet 1-2 pdf |
A kombinátor logika kombinátorai - Fejezet 277-279 pdf |
Irodalomjegyzék - Fejezet 281-284 pdf |
Tárgy- és névmutató - Fejezet 285-296 pdf |
Kedves Látogatónk!
Tájékoztatjuk, hogy a honlapon felhasználói élményének fokozása érdekében sütiket (cookie) alkalmazunk,
személyes adatait pedig az
Adatkezelési tájékoztató
szerint kezeljük. A honlap további böngészésével Ön hozzájárul a sütik használatához és személyes adatainak az
Adatkezelési Tájékoztató alapján történő kezeléséhez.