مساهمات المستخدم Tarikos2006
مستخدم له في سجله 11 تعديلًا. أُنشِئَ الحساب في 6 نوفمبر 2009.
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 تكامل لامدا حساب لابمدا نظام صوري في المنطق الرياضي ، يعبر عن الحوسبة القائمة على التجريد والتطبيق باستخدام المتغيرات المقيدة والاستبدال ، يعتبر حساب لامبدا عن الحوسبة لمحاكاة أي آلة تورينغ وسم: تحرير مرئي
