Antikvár Szakkönyvek Boltja
  Főoldal » Katalógus » Számítástechnika, informatika » Bejelentkezés és személyes beállítások  |  Kosár tartalma  |  Megrendelés   
Gyorskeresés
 

Összetett keresés
Kategóriák
Közösség
Csatlakozzon!

Aktuális információkért kövessen bennünket a Facebookon!

Facebook
 
Lambda-kalkulus (A funkcionális programozás alapjai) - Csörnyei Zoltán 2.600 Ft

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

A könyv raktáron van, szállítás két munkanapon belül lehetséges!
 
 Add a Facebook-hoz
További ajánlatunk
A PERL programozási nyelv - Randal L. Schwarz, Tom Christiansen
A PERL programozási nyelv - Randal L. Schwarz, Tom Christiansen
Bevásárlókosár tovább
1 x A BASIC és a Kíváncsi (Feladatgyűjtemény) - Lőcs Gyula (Középiskolai szakköri füzetek)
1 x Randevú a lovakkal - Váradi Jenő
1.300 Ft
Könyvajánló tovább
Ipari kemencék hőtechnikai számításai - Dr. Ing. Werner Heiligenstaedt
Ipari kemencék hőtechnikai számításai - Dr. Ing. Werner Heiligenstaedt
2.000 Ft
Akciós könyvek tovább
Receptor-ligand kölcsönhatás
Receptor-ligand kölcsönhatás
1.900 Ft
1.750 Ft
Információk
Adatvédelem
Információk
ÁSZF
Vevőszolgálat
Könyvfelvásárlás
A következő témájú könyveket keressük megvételre:

Matematika, Fizika, Kémia, Biológia, Felsőoktatási tankönyvek

További információ

Szerzői jog © 2023 Antikvár Szakkönyvek Boltja | Könyvesbolt és online műszaki antikvárium, jegyzetbolt