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