File:LambdaAbstraction.svg · Wikimedia Commons · See Wikimedia Commons
حسابات اللامدا
Sign in to saveAlso known as λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus
formal system in mathematical logic
Wikidata facts
- Instance of
- mathematical model
- Subclass of
- formal system
- Part of
- theory of computation
- Named after
- Λ
- Image
- Un terme avec liens version 2.png
- Has use
- model of computation
Show 6 more facts
- discoverer or inventor
- Alonzo Church
- topic's main category
- Category:Lambda calculus
- Commons category
- Lambda calculus
- has characteristic
- Turing completeness
- Stack Exchange tag
- stackoverflow.com/tags/lambda-calculus
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · العربية
حساب اللامبدا نظام صوري في المنطق الرياضي، يعبر عن الحوسبة القائمة على التجريد والتطبيق باستخدام المتغيرات المقيدة والاستبدال . انه نموذج كوني للحوسبة يستخدم لمحاكاة أية آلة تورنغ. أدخل لأول مرة من قبل عالم الرياضيات ألونزو تشرتش في الثلاثينيات من القرن الماضي في اطار بحوثه في أسس الرياضيات. جرت عادة المناطقة في مستهل حديثهم عن الأنساق المنطقية تحديد العبارات السليمة التركيب وطريقة إنشائها، كذلك في نسق حساب لامبدا يتوجب بدءً تعريف الحدود المقبولة أو الجائز استعمالها في الحساب، والتي تسمى بحدود لامبدا term-λ ، سنتعرف على نوعين من العبارات: مجموعة من المتغيرات x،y،z... ومجموعة من الثوابت الذرية، ننشئ عبارة مقبولة من حدود لامبدا تكراريا على الشكل الآتي: 1. * إذا كان x متغير فهو ينتمي إلى حدود لامبدا. 2. * إذا كان M و N حدين من حدود لامبدا فإن (MN) حد لامبدا، يسمى هذا التركيب بالتطبيق 3. * إذا كان M حد لامبدا و x متغير فإن التركيب λx.M هو حد لامبدا، تسمى هذه العملية بالتجريد. سنستعين بهاتين العمليتين في توليد الحدود الآتية: (λx.xy)، (λx.λy.xz), ((λz.z)(λxy.x)) توجد في حساب لانمبدا عمليات حساب الحدود تعرف بعمليات اختزال الحدود وتتضمن:
Abstract from DBpedia / Wikipedia · CC BY-SA