Uživatelské nástroje
msz:lambda
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
| Obě strany předchozí revizePředchozí verzeNásledující verze | Předchozí verze | ||
| msz:lambda [29. 05. 2012, 09.01:04] – [β-redukce] podrobneji o promennych pitel | msz:lambda [18. 08. 2026, 04.32:55] (aktuální) – odstraněno - upraveno mimo DokuWiki (Neznámé datum) 127.0.0.1 | ||
|---|---|---|---|
| Řádek 1: | Řádek 1: | ||
| - | ====== Lambda kalkul ====== | ||
| - | [[wp> | ||
| - | ===== Syntaxe a konvence ===== | ||
| - | //E// = | ||
| - | * //V// -- proměnná | ||
| - | * (//E//₁ //E//₂) -- aplikace | ||
| - | * λ(// | ||
| - | |||
| - | ---- | ||
| - | * %%((…((%%// | ||
| - | * (λ// | ||
| - | * (λ// | ||
| - | |||
| - | ===== Volné a vázané proměnné ===== | ||
| - | Proměnná je // | ||
| - | |||
| - | λx.xy(λx.x)y | ||
| - | | | | | | ||
| - | | ||
| - | |||
| - | ===== Substituce ===== | ||
| - | // | ||
| - | |||
| - | Nahrazení volných výskytů //V// v //E// za //E//′. | ||
| - | |||
| - | <note important> | ||
| - | < | ||
| - | * λ// | ||
| - | * λ// | ||
| - | </ | ||
| - | |||
| - | ===== α-konverze ===== | ||
| - | Někdy také α-přejmenování. | ||
| - | |||
| - | Přejmenovává vázané proměnné. | ||
| - | |||
| - | <note important> | ||
| - | |||
| - | < | ||
| - | * λ// | ||
| - | * < | ||
| - | * < | ||
| - | </ | ||
| - | |||
| - | ===== β-redukce ===== | ||
| - | Aplikace funkce, ((λ// | ||
| - | |||
| - | +--+ | ||
| - | | V | ||
| - | (λxy.xy)(ab) → λy.aby | ||
| - | ^ |/ | ||
| - | | | | ||
| - | +------+ | ||
| - | |||
| - | <note important> | ||
| - | |||
| - | < | ||
| - | * ((λ// | ||
| - | </ | ||
| - | ===== η-konverze ===== | ||
| - | ===== Ekvivalence ===== | ||
/var/www/wiki/data/attic/msz/lambda.1338282064.txt.gz · Poslední úprava: (upraveno mimo DokuWiki)
Nástroje pro stránku
Kromě míst, kde je explicitně uvedeno jinak, je obsah této wiki licencován pod následující licencí: CC Attribution-Share Alike 4.0 International
