Lambda-kalkulus
A funkcionális programozás alapjai
Az informatika elmélete sorozat
Kategória: Matematika/Matematika felsőfokon
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
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ím | Oldalak | Méret | Parancsok | ||
|---|---|---|---|---|---|---|
 |
Bevezetés |
1–2 (2) | 254 KiB |  Fájl letöltése  Fájl megtekintése |
||
|
Tartalomjegyzék |
5–8 (4) | 273 KiB | Fájl letöltése Fájl megtekintése |
||
|
Előszó |
9–10 (2) | 264 KiB | Fájl letöltése Fájl megtekintése |
||
|
A kombinátor logika kombinátorai |
277–279 (3) | 268 KiB | Fájl letöltése Fájl megtekintése |
||
|
Irodalomjegyzék |
281–284 (4) | 257 KiB | Fájl letöltése Fájl megtekintése |
||
|
Tárgy- és névmutató |
285–296 (12) | 314 KiB | Fájl letöltése Fájl megtekintése |
Megvásárolható részek
| # | Könyvcím | Oldalak | Méret | Ár (HUF) | Kosárba | |||
|---|---|---|---|---|---|---|---|---|
|
 |
Lambda-kalkulus (teljes e-könyv) | 1–306 (306) | 1.9 MiB | 1260 |  Kosaramba teszem | ||
|
|
1 | A λ-kalkulus szintaktikája | 5–18 (14) | 333 KiB | 70 | Kosaramba teszem | |
|
|
2 | A λ-kalkulus operációs szemantikája | 19–38 (20) | 360 KiB | 100 | Kosaramba teszem | |
|
|
3 | A normál forma | 39–51 (13) | 323 KiB | 70 | Kosaramba teszem | |
|
|
4 | Konstansok és függvények | 53–86 (34) | 426 KiB | 170 | Kosaramba teszem | |
|
|
5 | A rekurzió | 87–96 (10) | 316 KiB | 50 | Kosaramba teszem | |
|
|
6 | λ-definiálható függvények | 97–128 (32) | 421 KiB | 160 | Kosaramba teszem | |
|
|
7 | Konzisztens formális elmélet | 129–143 (15) | 337 KiB | 80 | Kosaramba teszem | |
|
|
8 | A kombinátor logika szintaktikája | 147–152 (6) | 288 KiB | 30 | Kosaramba teszem | |
|
|
9 | A kombinátor logika operációs szemantikája | 153–158 (6) | 293 KiB | 30 | Kosaramba teszem | |
|
|
10 | A gyenge normál forma | 159–164 (6) | 289 KiB | 30 | Kosaramba teszem | |
|
|
11 | A zárójeles absztrakció | 165–185 (21) | 361 KiB | 110 | Kosaramba teszem | |
|
|
12 | Bázis | 187–191 (5) | 285 KiB | 30 | Kosaramba teszem | |
|
|
13 | Konstansok és függvények | 193–201 (9) | 307 KiB | 50 | Kosaramba teszem | |
|
|
14 | Rekurzió, rekurzív függvények | 203–210 (8) | 313 KiB | 40 | Kosaramba teszem | |
|
|
15 | A λ-kalkulus és a kombinátor logika kapcsolata | 211–219 (9) | 357 KiB | 50 | Kosaramba teszem | |
|
|
16 | A λI kalkulus | 223–230 (8) | 313 KiB | 40 | Kosaramba teszem | |
|
|
17 | Az érték szerinti λ-kalkulus | 231–239 (9) | 313 KiB | 50 | Kosaramba teszem | |
|
|
18 | Az ISWIM programnyelv | 241–251 (11) | 310 KiB | 60 | Kosaramba teszem | |
|
|
19 | Az elsőrendú típusos λ-kalkulus | 253–265 (13) | 327 KiB | 70 | Kosaramba teszem | |
|
|
20 | Curry-típusos λ-kalkulus | 267–276 (10) | 323 KiB | 50 | Kosaramba teszem | |
Kosaram: 
Könyvespolcom:
Még könyvek:
Könyvespolcom:
Még könyvek: