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