Kategória
Szerző
Cím
Kiadó
Leírás
Évszám
Ár
 - 
Mezők között
ÉSVAGY  kapcsolat
 
 
űrlap bezárása | mezők ürítése
E-mail cím:
Jelszó:
Bejelentkezem

Akciók

Újdonságok

Előrendelhető

Líra bolthálózat

Segítség

Fizetés és szállítás

 
Részletes keresés

Főoldal  >  eKönyv  >  Természettudomány  >  Matematika  >  

Csörnyei Zoltán

Lambda-kalkulus [eKönyv: pdf]

Kiadó: Typotex Kiadó
Megjelenés: 2013. november 28.
ISBN: 9789639664463

Bővebb ismertető
olvasóink értékelése  

1750 Ft


Legyen MOST törzsvásárló
Ez a termék törzsvásárlóként akár 1628 Ft
Sikeres rendelés után azonnal letölthető.
Törzsvásárlói kedvezmény!
Személyes ajánlatunk Önnek
Bővebb ismertető

"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."

Bolti készlet
Betöltés folyamatban...

Olvasói vélemények

Értékelje Ön is!

Az értékeléshez be kell lépnie.

Erről a termékről még senki nem írt véleményt, legyen Ön az első...