Rozdíly

Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.

--- 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
@@ Řádek 2: / Řádek 2: @@
 {{ 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 =====
-[[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** -- (λ//xz//.//xz//)(//xy//) →<sub>β</sub> λ//z//.//xyz//, aplikace funkce

Kalábovi