LAMBDA-KALKULUS (2007)
LAMBDA-KALKULUS (2007)
2 625 Ft-tól
2 ajánlat
Ajánlataink LAMBDA-KALKULUS (2007) termékre
Ajánlataink a termékre
Paraméterek, termékleírás - LAMBDA-KALKULUS (2007)
Termékleírás
| Író | Csörnyei Zoltán |
| Címkék | Számítástechnika |
| Nyelv | magyar |
| Oldalszám | 296 |
| Súly | 520 |
Hibát talált a leírásban vagy az adatlapon? Jelezze nekünk!
Információelmélet sorozat Szerző: Csörnyei Zoltán Typotex Kiadó, 2007
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.
A kötet adatai:
Formátum: B/5
Megjelenés éve: 2007
Terjedelem: 316 oldal
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.
A kötet adatai:
Formátum: B/5
Megjelenés éve: 2007
Terjedelem: 316 oldal
Oldalainkon a partnereink által szolgáltatott információk és árak tájékoztató jellegűek, melyek esetlegesen tartalmazhatnak téves információkat. A képek csak tájékoztató jellegűek és tartalmazhatnak tartozékokat, amelyek nem szerepelnek az alapcsomagban. A termékinformációk (kép, leírás vagy ár) előzetes értesítés nélkül megváltozhatnak. Az esetleges hibákért, elírásokért az Árukereső nem felel.
