اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدحساب لامدا
Lambda Calculus
1402
0 7
0
(
0
)
تمت اﻹضافة من قبل
Salam Aljehni
اسأل ChatGPT حول البحث
حساب لامدا هو نظام شكلي في المنطق الرياضي للتوابع القابلة للحساب و يستخدم للتعبير عن الحساب على أساس التجريد، يمكن استخدامه لمحاكاة آلة تورينغ. تعتمد لغات البرمجة التابعية مثل Lisp , ML, Miranda على حساب لامدا.
The Lambda Calculus is a formal system in mathematical logic for expressing computation based on function abstraction , that can be used to simulate any Turing machine. Functional programming languages such as Lisp, ML, Miranda are based on Lambda Calculus.
المراجع المستخدمة
R. Bailey, “An Introduction to Hope,” in Functional Programming: Languages, Tools & Architectures, ed. S. Eisenbach, Ellis Horwood, Chichester, (1987)
H. P. Barendregt, The Lambda Calculus: Its Syntax and Semantics, North- Holland, Amsterdam, (1981)
W. H. Burge, Recursive Programming Techniques, Addison-Wesley, Reading, (1975)
A. Church, The Calculi of Lambda Conversion, Princeton University Press, Princeton, N.J., (1941)
J. R. Hindley and J. P. Seldin, Introduction to Combinators and l Calculus, Cambridge University Press, Cambridge, England, (1987)
P. H. Winston and B. K. P. Horn, LISP, Addison-Wesley, Reading, (1984).
AN INTRODUCTION TO FUNCTIONAL PROGRAMMING THROUGH LAMBDA CALCULUS, by Greg Michaelson
قيم البحث
اقرأ أيضاً
يحاول هذا البحث تسليط الضوء على مسألة أساسية و هامة في المنطق الرمزي و هي مسألة حساب القضايا في منطق برتراند رسل، و التي من خلالها نستطيع التعرف على أنواع القضايا عند رسل و علاقتها بالوقائع نظراً للارتباط الكبير بينهما، و نتعرف أيضاً على وجهة نظره من
القضية الحملية الأرسطية.
و يتناول هذا البحث مسألة دوال الصدق البسيطة التي يعالجها حساب القضايا و يتضمنها على هيئة نسق استنباطي، و يوضح الفرق الواضح بين اللزوم المادي و اللزوم الصوري.
و يتناول أخيراً النسق الاستنباطي في حساب القضايا من خلال كتاب المبادئ الرياضية.
نظرا لأن خوارزمية عامة لحساب فعال للقيم الخارجية بموجب إطار الوظائف الفائقة التي يقترحها نوث (1977) من شأنها أن تسفر عن خوارزمية زمنية فرعية لسعة، تنتهك فرضية الوقت الأسي القوي (Seth).
تنتمي الأنظمة الناصحة إلى صف من الأنظمة المصممة لمساعدة الافراد على معالجة المعلومات الإضافية الزائدة أو الناقصة. يمكن لهذه الأنظمة أن تساعد الأفراد من خلال تأمين النصائح و ذلك بالاعتماد على مجموعة من التقنيات .إن تقنية الفلترة التعاونية Collaborativ
e filtering مستخدمة بشكل واسع لتحقيق التنبؤ ضمن الأنظمة الناصحة.أعرض ضمن هذا البحث طريقة تستخدم علاقات التفضيل بدلا من التنبؤ المطلق و ذلك لحساب التشابه بهدف إيجاد تقدير تنبؤي بسلع جديدة.
تظهر النتائج التجريبية أن الطريقة الموضحة ضمن هذا البحث تؤمن نتيجة أفضل من طرق أخرى كطريقة Somers Coefficient على سبيل المثال.
الملخص، نعطي إطارا عاما للاستنتاج في نماذج الأشجار الممتدة. نقترح خوارزميات موحدة للحالات المهمة من توقعات الترتيب الأول وتوقعات الترتيب الثاني في نماذج الأشجار ذات العوامل الواردة في الحافة وغير المشروعة. تستغل الخوارزميات الخاصة بنا اتصالا أساسيا ب
ين التدرجات والتوقعات، مما يسمح لنا بالتخلص من الخوارزميات الفعالة. هذه الخوارزميات سهلة تنفيذها مع أو بدون برنامج التفريق التلقائي. نقوم بحفز تطوير إطار عملنا مع العديد من القصص الحذرية للبحث السابق، والتي طورت العديد من الخوارزميات غير الفعالة لتحسين توقعات الحوسبة وتدراجيها. نوضح كيف يحسب إطار عملنا بكفاءة العديد من الكميات مع الخوارزميات المعروفة، بما في ذلك درجة المرفقات المتوقعة ومعايير التركيبية والتوقعات المعممة. ككافأة، نعطي خوارزميات للكميات المفقودة في الأدب، بما في ذلك اختلاف KL. في جميع الحالات، يطابق نهجنا من كفاءة الخوارزميات القائمة، وفي عدة حالات، يقلل من تعقيد وقت التشغيل بعامل طول الجملة. نحن نقوم بالتحقق من تنفيذ إطار عملنا من خلال تجارب وقت التشغيل. نجد خوارزمياتنا تصل إلى 15 و 9 مرات أسرع من الخوارزميات السابقة لحساب شانون الانتروبيا وتدرج هدف التوقع المعمم، على التوالي.
تحقق هذه الورقة في كيفية تأثير ترتيب النغمة بالنسبة إلى السلسلة القطاعية على حساب الاحتمالات الشوئية.تم تدريب نماذج الشبكة العصبية العصبية المتكررة على معجم مقطع لفظي من مقطع لفظي لأربعة لغات من مقطع لفظي آسيوي (الماندرين والتايلاندية والفيتنامية وال
كانتونية) التي تم التعامل معها على أنها شريحة تحدث في مواقف مختلفة في السلسلة.بالنسبة لنماذج Trigram، تفاعل التقليب الأمثل مع اللغة، في حين أن نماذج الشبكة العصبية غير متأثرة نسبيا عن طريق النغمة بجميع اللغات.بالإضافة إلى توفير خط أساس للتقييم في المستقبل، تشير هذه النتائج إلى أن الاحتمالية الشوئية قوية في خيارات كيفية طلب النغمة فيما يتعلق بالعناصر الأخرى في مقطع لفظي.
الأسئلة المقترحة
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
