| LEADER |
06137nam a22002417a 4500 |
| 001 |
1709177 |
| 024 |
|
|
|3 10.21608/JFPSU.2018.57773
|
| 041 |
|
|
|a ara
|
| 044 |
|
|
|b مصر
|
| 100 |
|
|
|9 520637
|a أبوالعلا، محمد سيد محمد
|e مؤلف
|g Abu Alela, Mohamed Sayed Mohammed
|
| 245 |
|
|
|a الجانب المنطقي لحساب لامدا:
|b دراسة تحليلية
|
| 246 |
|
|
|a Lambda Calculus S. Logical Attitude:
|b Analytical Study
|
| 260 |
|
|
|b جامعة بورسعيد - كلية الآداب
|c 2018
|g يوليو
|
| 300 |
|
|
|a 669 - 717
|
| 336 |
|
|
|a بحوث ومقالات
|b Article
|
| 520 |
|
|
|a يناقش هذا البحث حساب لا مدا الذي قدمه المنطقي "الونزو تشيرش Alonzo Church" (1903 - 1995)، واعتبر من أساسيات لغات برمجة الحاسوب، إلا أنني أتناول فيه الجانب النسقي الصوري له كجزء من المنطق الرياضي، فتناولت بالتعريف حساب لامدا، الذي يشار إليه بالمصطلح الرمزي λ، مبينا أنه يتعلق بالأسس الشائعة لبرمجة الدالة، مبينا أنه عبارة عن لغة صورية ذات قواعد اختزال محددة، تؤدي إلى نتائج في المنطق الصوري، ونظرية الدالات العودية "التكرارية"، ولغة البرمجة، مبينا أن حساب لامدا يعرف قوانين صياغة الحساب، وتحويل التعبيرات داخل النسق.\nيتعامل حساب لامدا مع نظرية النمط الحر، التي تطبق على تطابق الدالة الذي قدمه "كيوري" تحت عنوان منطق التحليل، وقدمه "تشيرش" بعد ذلك، في محاولة منه لتقديم المنطق في صورة دالات بدلا من نظرية الفئات. تطابق نموذج حساب لامدا "لكيوري وتشيرش" مع نموذج ميلنر" الذي يسمى بالنمط الضمني، ومن ثم يعتبر حساب لامدا غامضا من أول وهلة، لكن يعتبر أداة للتسمية، ويعامل حساب لامدا كنسق جبري صوري للتفكير حول الحساب، هذا الحساب يزودنا بنموذج كلي للحساب، قدمه "تشيرش" وأوضحه فيما بعد "آلان تورنج"، كما اعتبر نسقا صوريا له بديهيات وقواعد استدلال، تساعد بنفسها في تحليل استخدام اللغة وأدوات المنطق الرياضي، وفيه يلاحظ حساب لامدا باعتباره استنباطا إرشاديا في هذا النسق الصوري.\nوحساب λ حساب اقتصادي في الدالات، لكنه يخفي المدى الذي ينبع من أصوله هذا الحساب في المنطق الرياضي، ويكتب التعبير في حساب –λ في شكل تصدير محدد، ولهذا لا يوجد مجال لإقحام أو إزالة الثوابت، علاوة على أن الدالة والبرهان يكتبان ببساطة بجوار بعضهما البعض دون أقواس حول البرهان، لذلك بينما يكتب عالم الرياضيات ومبرمج الحاسب الآلي جيب الدالة Sin جا (س)، نكتب جا (س) في حساب –λ بطريقة أبسط
|
| 520 |
|
|
|f This research discusses Lambda calculus introduced by the logician “Alonzo Church” (1903 - 1995), which is considered a basic computer programming language. However, I address here the textual aspect of it as part of mathematical logic. I started with the definition of Lambda calculus, which is referred to by the symbolic sign of λ. I explained that it concerns the common bases of the programming of the functions and that it is a mock language with specific shorthand rules, leading to results in the formal logic, the theory of “iterative” recursive functions, the programming language. I also explained that Lambda calculus defines the laws of arithmetic formulation and the conversion of expressions within the format. \nLambda calculus deals with the free-style theory, applied to function matching provided by “Curie” under the heading of analysis logic, and introduced by “Church” after that in an attempt to present logic in the form of functions rather than class theory. The Lambda calculus model of “Curie and Church” matches the Milner model called the implicit pattern. Lambda calculus is therefore ambiguous at first sight but is considered a naming tool. \nThe Lambda calculus is treated as an algebraic format for thinking about the calculus. This calculus provides us with a holistic calculus model, introduced by Church and later clarified by Alan Turing. It is also considered an image format that has axioms and inference rules that help itself analyze the use of language and the tools of mathematical logic. The calculation of lambda is noted as an indicative extrapolation in this image format.\nThe λ calculation is an economic calculus in functions, but it hides the extent from which this calculation originates in the mathematical logic. The expression is written in the calculus of —λ in the form of a specific export. Thus, there is no room for inserting or removing the constants. Furthermore, the function and the proof simply are written next to each other without brackets around the evidence. While the mathematician and computer programmer write the sine of the angle Sin Ja (س), we write Ja (س) in the calculus of —λ in a more straightforward way. \nThis abstract translated by Dar AlMandumah Inc. 2018
|
| 653 |
|
|
|a الأدب الإنجليزي
|a النقد الأدبي
|a تشيرش، ألونزو
|a حساب لامدا
|
| 773 |
|
|
|4 الادب
|6 Literature
|c 027
|f Maǧallaẗ Kulliyyaẗ Al-ādāb Ǧāmiʿaẗ Būrsaʿīd
|l 012
|m ع12
|o 1146
|s مجلة كلية الآداب
|t Journal of Faculty of Arts
|v 000
|x 2356-6493
|
| 856 |
|
|
|n https://jfpsu.journals.ekb.eg/article_57773.html
|u 1146-000-012-027.pdf
|
| 930 |
|
|
|d y
|p y
|
| 995 |
|
|
|a AraBase
|
| 999 |
|
|
|c 966009
|d 966009
|
