تكامل لامدا: الفرق بين النسختين
[مراجعة غير مفحوصة] | [مراجعة غير مفحوصة] |
تم حذف المحتوى تمت إضافة المحتوى
روبوت - اضافة لشريط البوابات : منطق (85561) (من fr wiki) |
ط بوت: تفادي تحويلات القوالب |
||
سطر 1:
{{
'''حسابات اللامدا''', هي لغة شكلية. بمساعدتها يمكن فحص بعض الاستعمالات. هذه اللغة طورت من قبل الونسو شيرش سنة ([[1930]]) بمشاركة من ألان تيرنغ وكونراد سوزي حدث تغيير في لغات البرمجة.
|