Aktuális
Hírsáv
Lambda-kalkulus
A funkcionális programozás alapjai



Kiadó: Typotex Kft.
Könyv nyelve: Magyar
Megvásárolható e-könyv: igen
Kereshető: igen
Oldalár / teljes könyv: 4.5 HUF
Oldalár / fejezet: 5 HUF
Ára: 1260 HUF
Könyvméret: B/5, 316 oldal
Kiadás éve: 2007
ISBN-13 978-963-9664-46-3
 

Szabadon megtekinthető részek

#KönyvcímOldalakMéretParancsok
PDF Bevezetés
1–2 (2) 254 KiB PDF LetöltésFájl letöltése  MegtekintésFájl megtekintése
PDF Tartalomjegyzék
5–8 (4) 273 KiB PDF LetöltésFájl letöltése  MegtekintésFájl megtekintése
PDF Előszó
9–10 (2) 264 KiB PDF LetöltésFájl letöltése  MegtekintésFájl megtekintése
PDF A kombinátor logika kombinátorai
277–279 (3) 268 KiB PDF LetöltésFájl letöltése  MegtekintésFájl megtekintése
PDF Irodalomjegyzék
281–284 (4) 257 KiB PDF LetöltésFájl letöltése  MegtekintésFájl megtekintése
PDF Tárgy- és névmutató
285–296 (12) 314 KiB PDF LetöltésFájl letöltése  MegtekintésFájl megtekintése

Megvásárolható részek

#KönyvcímOldalakMéretÁr (HUF)Kosárba
PDF Vízjelekkel megjelölt  Lambda-kalkulus (Teljes e-könyv) 1–306 (306) 1.9 MiB 1260 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 1  A λ-kalkulus szintaktikája 5–18 (14) 333 KiB 70 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 2  A λ-kalkulus operációs szemantikája 19–38 (20) 360 KiB 100 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 3  A normál forma 39–51 (13) 323 KiB 70 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 4  Konstansok és függvények 53–86 (34) 426 KiB 170 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 5  A rekurzió 87–96 (10) 316 KiB 50 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 6  λ-definiálható függvények 97–128 (32) 421 KiB 160 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 7  Konzisztens formális elmélet 129–143 (15) 337 KiB 80 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 8  A kombinátor logika szintaktikája 147–152 (6) 288 KiB 30 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 9  A kombinátor logika operációs szemantikája 153–158 (6) 293 KiB 30 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 10  A gyenge normál forma 159–164 (6) 289 KiB 30 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 11  A zárójeles absztrakció 165–185 (21) 361 KiB 110 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 12  Bázis 187–191 (5) 285 KiB 30 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 13  Konstansok és függvények 193–201 (9) 307 KiB 50 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 14  Rekurzió, rekurzív függvények 203–210 (8) 313 KiB 40 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 15  A λ-kalkulus és a kombinátor logika kapcsolata 211–219 (9) 357 KiB 50 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 16  A λI kalkulus 223–230 (8) 313 KiB 40 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 17  Az érték szerinti λ-kalkulus 231–239 (9) 313 KiB 50 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 18  Az ISWIM programnyelv 241–251 (11) 310 KiB 60 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 19  Az elsőrendú típusos λ-kalkulus 253–265 (13) 327 KiB 70 PDFKosárbaKosaramba teszem 
PDF Vízjelekkel megjelölt 20  Curry-típusos λ-kalkulus 267–276 (10) 323 KiB 50 PDFKosárbaKosaramba teszem 
Kosaram: basket
Könyvespolcom: basket
Még könyvek: basket
Felület nyelve ::

Valuta ::