Annak érdekében, hogy megkönnyítsük látogatóinknak a webáruház használatát, oldalunk cookie-kat használ. Weboldalunk böngészésével Ön beleegyezik, hogy számítógépén / mobil eszközén cookie-kat tároljunk. A cookie-khoz tartozó beállításokat a böngészőben lehet módosítani.





        

Lambda-kalkulus

Új

Készleten

 

Szerző: Csörnyei Zoltán
ISBN: 978-963-9664-46-3
Ennél a terméknél nem használható fel kedvezménykupon.
Ár (nettó) : 3 333 Ft
Ár (bruttó) (5 %):
3 500 Ft

Vásárolni kívánt mennyiség:
  db  

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.

  • Nyelv: Magyar
  • Oldal: 316
  • Megjelenés: 2007

FELHASZNÁLÓINK VÉLEMÉNYEI

Még nem érkezett hozzászólás. Legyen Ön az első, aki hozzászól! Írja meg kérdését, észrevételét!

NjI4YzA3NT