% SALE
Description
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Le lambda- calcul (ou ¿-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives et donc il a une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel. Il a depuis été appliqué comme langage de programmation théorique et comme métalangage pour la démonstration formelle assistée par ordinateur. Le lambda-calcul peut être ou non typé. Le lambda-calcul est apparenté à la logique combinatoire de Haskell Curry.
Product details
- Type:
- Book
- Binding:
- Paperback
- Languages:
-
Original:
French
- Number of Pages:
-
64
- Publisher:
-
OmniScriptum
- Publication Date:
-
2026-04-13
- Release Date:
-
2010-12-20
- ISBN / EAN:
-
9786134064033
- Weight:
-
113 g
- Dimensions:
-
15/22/0 cm
Die gelieferte Auflage kann ggf. abweichen.
Currently sold out
Back in stock email
Add to Wishlist
