Rozdíly

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

--- pitel:flp:start [30. 12. 2022, 13.43:01] – vytvořeno - upraveno mimo DokuWiki 127.0.0.1
+++ pitel:flp:start [12. 09. 2023, 08.45:48] (aktuální) – [Lambda kalkul] Dead link pitel
@@ Řádek 1: / Řádek 1: @@
 ====== Funkcionální a logické programování ======
-{{ https://cryptoanarchy.org/w/images/a/a9/Spock-uses-haskell.png?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 =====
-[[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