pitel:flp:start
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í verze | |
pitel:flp:start [12. 09. 2023, 08.45:27] – [Funkcionální a logické programování] Fix image pitel | pitel:flp:start [12. 09. 2023, 08.45:48] (aktuální) – [Lambda kalkul] Dead link pitel |
---|
{{ https://www.verifyrecruitment.com/blog/wp-content/uploads/2014/08/haskell-spock-jpg.jpg?300|Haskell? Yeah, I use it to program our starship.}} | {{ https://www.verifyrecruitment.com/blog/wp-content/uploads/2014/08/haskell-spock-jpg.jpg?300|Haskell? Yeah, I use it to program our starship.}} |
===== Lambda kalkul ===== | ===== Lambda kalkul ===== |
[[wp>Lambda calculus]], [[wp>Church encoding]], http://safalra.com/science/lambda-calculus | [[wp>Lambda calculus]], [[wp>Church encoding]] |
* **α-konverze** -- λ//x//.//xy// →<sub>α</sub> λ//z//.//zy//, substituce((Bacha na volné a vázané proměnné!)) | * **α-konverze** -- λ//x//.//xy// →<sub>α</sub> λ//z//.//zy//, substituce((Bacha na volné a vázané proměnné!)) |
* **β-konverze** -- (λ//xz//.//xz//)(//xy//) →<sub>β</sub> λ//z//.//xyz//, aplikace funkce | * **β-konverze** -- (λ//xz//.//xz//)(//xy//) →<sub>β</sub> λ//z//.//xyz//, aplikace funkce |
/var/www/wiki/data/pages/pitel/flp/start.txt · Poslední úprava: 12. 09. 2023, 08.45:48 autor: pitel