https://www.arabsciencepedia.org/w/index.php?action=history&feed=atom&title=%D8%AD%D8%B3%D8%A7%D8%A8%D8%A7%D8%AA_%D8%A7%D9%84%D9%84%D8%A7%D9%85%D8%AF%D8%A7حسابات اللامدا - تاريخ المراجعة2026-05-30T12:57:32Zتاريخ التعديل لهذه الصفحة في الويكيMediaWiki 1.43.6https://www.arabsciencepedia.org/w/index.php?title=%D8%AD%D8%B3%D8%A7%D8%A8%D8%A7%D8%AA_%D8%A7%D9%84%D9%84%D8%A7%D9%85%D8%AF%D8%A7&diff=475&oldid=prevWikiSysop: ١ مراجعة: الصفحات في تصنيف رياضيات2010-11-12T21:16:20Z<p>١ مراجعة: الصفحات في تصنيف رياضيات</p>
<p><b>صفحة جديدة</b></p><div>'''حسابات اللامدا''', هي لغة شكلية. بمساعدتها يمكن فحص بعض الاستعمالات. هذه اللغة طورت من قبل الونسو شيرش سنة ([[1930]]) بمشاركة من ألان تيرنغ وكونراد سوزي حدث تغيير في لغات البرمجة.<br />
<br />
== اللامبدا ==<br />
اللغة نفسها مكونة من ثلاث عوامل, '''المصطلح''' مكون من متغير, استعمال وما يسمى بالتغيير. الاستعمال مبنية على اساس λ <متغير>.<مصطلح>.<br />
والتغيير وهي ملخص من استعمالين.<br />
حسابات اللامبدا λ تحسب من اليسار إلى اليمين وأيضا يقرؤون حسب هذا الترتيب. اسماء المتغيرات يمكن تبديلهم. '''دالة بسيطة''' تكون على هذا المنوال :- λ ""أ"".""أ"", مبنى التغيير يكون كالتالى λ (""أ"".""أ"") ""ص"". ويكون اختزالها كالتالى ان ننقل ال ""ص"" مكان اللامدا ومن بعدها ننقلها إلى ال ""أ"" وهكذا يبقى لنا ال ""ص"".<br />
<br />
[[تصنيف:رياضيات]]<br />
<br />
[[bn:ল্যাম্ডা ক্যালকুলাস]]<br />
[[ca:Càlcul lambda]]<br />
[[cs:Lambda kalkul]]<br />
[[de:Lambda-Kalkül]]<br />
[[el:Λογισμός λάμδα]]<br />
[[en:Lambda calculus]]<br />
[[eo:Lambda-kalkulo]]<br />
[[es:Cálculo lambda]]<br />
[[fr:Lambda-calcul]]<br />
[[he:תחשיב למדא]]<br />
[[hr:Lambda račun]]<br />
[[hu:Lambda-kalkulus]]<br />
[[it:Lambda calcolo]]<br />
[[ja:ラムダ計算]]<br />
[[ko:람다 대수]]<br />
[[nl:Lambdacalculus]]<br />
[[pl:Rachunek lambda]]<br />
[[pt:Cálculo lambda]]<br />
[[ru:Лямбда-исчисление]]<br />
[[sh:Lambda račun]]<br />
[[simple:Lambda calculus]]<br />
[[sk:Lambda kalkul]]<br />
[[sv:Lambdakalkyl]]<br />
[[ta:லம்டா நுண்கணிதம்]]<br />
[[uk:Лямбда-числення]]<br />
[[vi:Giải tích lambda]]<br />
[[zh:Λ演算]]</div>WikiSysop