مساهمات المستخدم Tarikos2006

2 أبريل 2023

• 19:4319:43، 2 أبريل 2023 فرق تاريخ +978 ويكيبيديا:طلبات النقل/الحالية ←حساب لامبدا: قسم جديد وسمان: تحرير من المحمول تعديل ويب محمول
• 18:2918:29، 2 أبريل 2023 فرق تاريخ +3٬618 نظرية الفئة الفئات ، الأشياء ، ومالمورفيزمات وسم: تحرير مرئي
• 18:1018:10، 2 أبريل 2023 فرق تاريخ +440 تكامل لامدا ←الصيغة الطبيعية: مرجع تحويل بيطا ومرجع الصيغة الطبيعية وسم: تحرير مرئي
• 17:5717:57، 2 أبريل 2023 فرق تاريخ +3٬703 تكامل لامدا مراجع في الاستبدال وتعريف حدود لامبدا وسم: تحرير مرئي
• 17:3917:39، 2 أبريل 2023 فرق تاريخ +84 تكامل لامدا ←المتغيرات الحرة والمقيدة: نص خام وسم: تحرير مرئي
• 17:3517:35، 2 أبريل 2023 فرق تاريخ +103 تكامل لامدا ←مراجع: نظرية الربط البنيوي، د.طارق المالكي وسم: تحرير مرئي

3 يونيو 2022

• 16:3316:33، 3 يونيو 2022 فرق تاريخ +4٬981 تكامل لامدا ←الاستبدال في حساب لامبدا: نعرف على حدود لامبدا عملية الاستبدال التي نرمز لها بالرمز: M[x :=N]   ، وتشير إلى تعويض المتغير الحر x في M بــ N . وسم: تحرير مرئي
• 16:0516:05، 3 يونيو 2022 فرق تاريخ +1٬840 تكامل لامدا ←المتغيرات الحرة والمقيدة: يتعين في البداية معرفة نطاق العامل λx  في عبارة لامبدا ، سنستعين على ذلك بالمثال الآتي ، لنعتبر الحد P P=(λy.yx(λx.y(λy.z)x))vw نطاق العامل λy الذي يوجد في أقصى اليسار هو العبارة yx(λx.y(λy.z)x ،ونطاق λx هوy(λy.z)x ، أما نطاق العامل λy الذي يوجد على اليمين هو z . تعريف : يكون المتغير x في P مقيدا إذا كان يوجد في نطاق λx وإلا سُمي حرا. مجموعة المتغيرات الحرة في P  يرمز لها بالرمز :  FV(P)  ، والحد المغلوق هو الحد الذي لا يتضمن أي متغير حر. تعريف : نعرف مجموعة ا وسم: تحرير مرئي

2 يونيو 2022

• 15:4815:48، 2 يونيو 2022 فرق تاريخ −11 ط تكامل لامدا جرت عادة المناطقة في مستهل حديثهم عن الأنساق المنطقية تحديد العبارات السليمة التركيب وطريقة إنشائها ، كذلك في نسق حساب لامبدا يتوجب بدءً تعريف الحدود المقبولة أو الجائز استعمالها في الحساب، والتي تسمى بحدود لامبدا  term-λ ، سنتعرف على نوعين من العبارات : مجموعة من المتغيرات x،y،z... ومجموعة من الثوابت الذرية ،  ننشئ عبارة مقبولة من حدود لامبدا تكراريا على الشكل الآتي: إذا كان x متغير فهو ينتمي إلى حدود لامبدا. إذا كان M و N حدين من حدود لامبدا فإن (MN) حد لامبدا ، يسمى هذا التركيب بالتطبيق إذا وسم: تحرير مرئي
• 15:4715:47، 2 يونيو 2022 فرق تاريخ +1٬769 تكامل لامدا جرت عادة المناطقة في مستهل حديثهم عن الأنساق المنطقية تحديد العبارات السليمة التركيب وطريقة إنشائها ، كذلك في نسق حساب لامبدا يتوجب بدءً تعريف الحدود المقبولة أو الجائز استعمالها في الحساب، والتي تسمى بحدود لامبدا  term-λ ، سنتعرف على نوعين من العبارات : مجموعة من المتغيرات x،y،z... ومجموعة من الثوابت الذرية ،  ننشئ عبارة مقبولة من حدود لامبدا تكراريا على الشكل الآتي: إذا كان x متغير فهو ينتمي إلى حدود لامبدا. إذا كان M و N حدين من حدود لامبدا فإن (MN) حد لامبدا ، يسمى هذا التركيب بالتطبيق إذا وسم: تحرير مرئي
• 15:2715:27، 2 يونيو 2022 فرق تاريخ −215 تكامل لامدا حساب لابمدا نظام صوري في المنطق الرياضي ، يعبر عن الحوسبة القائمة على التجريد والتطبيق باستخدام المتغيرات المقيدة والاستبدال ، يعتبر حساب لامبدا عن الحوسبة لمحاكاة أي آلة تورينغ وسم: تحرير مرئي