أريتي
في المنطق والرياضيات وعلوم الحاسوب ، تُعرف الرتبة ( / ˈ ær ɪ ti /ⓘ هو عددالوسائطأوالمعاملاتالتي تأخذهادالةأوعمليةأوعلاقة. في الرياضيات، يُطلق على عدد الوسائط أيضًا اسم الرتبة، [ 1 ] [ 2 ] ولكن لهذه الكلمة معانٍ أخرى كثيرة. في المنطق والفلسفة،يُطلق على عدد الوسائط أيضًا اسمالتعدديةوالدرجة. [ 3 ] [ 4 ] فياللغويات، يُطلق عليه عادةًاسمالتكافؤ. [ 5 ]
أمثلة
بشكل عام، تتبع الدوال أو المعاملات ذات عدد معين من المعاملات اصطلاحات التسمية الخاصة بالأنظمة العددية القائمة على n ، مثل النظام الثنائي والنظام الست عشري . ويتم دمج بادئة لاتينية مع اللاحقة -ary. على سبيل المثال:
- الدالة الصفرية لا تأخذ أي وسيط.
- مثال:
- تأخذ الدالة الأحادية وسيطًا واحدًا .
- مثال:
- تأخذ الدالة الثنائية وسيطين.
- مثال:
- تأخذ الدالة الثلاثية ثلاثة وسائط .
- مثال:
- تأخذ الدالة ذات المعامل n وسيطًا .
- مثال:
لاغٍ
يمكن اعتبار الثابت بمثابة ناتج عملية من الرتبة 0، وتسمى عملية صفرية .
كذلك، خارج نطاق البرمجة الوظيفية ، قد تكون الدالة التي لا تأخذ وسائط ذات معنى وليست بالضرورة ثابتة (بسبب التأثيرات الجانبية ). قد تحتوي هذه الدوال على بعض المدخلات الخفية ، مثل المتغيرات العامة أو الحالة العامة للنظام (الوقت، الذاكرة المتاحة، إلخ).
أحادي
تشمل أمثلة المعاملات الأحادية في الرياضيات والبرمجة: الطرح والجمع الأحاديين ، ومعاملي الزيادة والنقصان في لغات البرمجة المشابهة للغة C (وليس في اللغات المنطقية)، ودالة الخلف ، والمضروب ، والمقلوب ، والجزء السفلي ، والجزء العلوي ، والجزء الكسري ، والإشارة ، والقيمة المطلقة ، والجذر التربيعي (الجذر التربيعي الرئيسي)، والمرافق المركب (وهو معامل أحادي لعدد مركب واحد ، ولكنه يتكون من جزأين على مستوى أدنى من التجريد)، ودالة المعيار في الرياضيات. أما في البرمجة، فتُعدّ دالة المتمم الثنائي ، ودالة مرجع العنوان ، ودالة النفي المنطقي أمثلة على المعاملات الأحادية.
جميع الدوال في حساب التفاضل والتكامل اللامدا وفي بعض لغات البرمجة الوظيفية (خاصة تلك المنحدرة من ML ) هي أحادية من الناحية الفنية، ولكن انظر n-ary أدناه.
بحسب كواين ، فإنّ الصفات التوزيعية اللاتينية هي singuli و bini و terni وما إلى ذلك، لذا فإنّ مصطلح "singulary" هو الصفة الصحيحة، وليس "unary". [ 6 ] ويتبع أبراهام روبنسون استخدام كواين. [ 7 ]
في الفلسفة، تُستخدم الصفة الأحادية أحيانًا لوصف علاقة من مكان واحد مثل "مربع الشكل" على عكس علاقة من مكانين مثل "شقيقة لـ".
ثنائي
معظم المعاملات المستخدمة في البرمجة والرياضيات هي معاملات ثنائية . تشمل هذه المعاملات في كليهما: معامل الضرب ، ومعامل الأساس، ومعامل الأس (الذي غالبًا ما يُهمل) ، ومعامل اللوغاريتم ، ومعامل الجمع، ومعامل القسمة . تُستخدم الدوال المنطقية مثل OR و XOR و AND و IMP عادةً كمعاملات ثنائية ذات مُعاملين مختلفين. في بنى CISC ، من الشائع وجود مُعاملين مصدر (وتخزين النتيجة في أحدهما).
ثلاثي
تُوفّر معظم وحدات المعالجة المركزية الحديثة تعليمة الضرب والجمع المدمجة الثلاثية (FMA) للأعداد العشرية، والتي تضرب عددين وتضيف الناتج إلى عدد ثالث، مع تقريب الناتج مرة واحدة فقط في النهاية. وهذا يتجنب عدم الدقة الناتجة عن تقريب عمليتي الضرب والجمع بشكل منفصل.
توفر لغة البرمجة C ومشتقاتها المختلفة (بما في ذلك C++ و C# و Java و Julia و Perl وغيرها) عامل الشرط الثلاثي?: . يتم تقييم المعامل الأول (الشرط)، وإذا كان صحيحًا، تكون نتيجة التعبير بأكمله هي قيمة المعامل الثاني، وإلا تكون قيمة المعامل الثالث. يتميز هذا العامل باستراتيجية تقييم مختصرة أو "كسولة" لا تُقيّم أيًا من المعاملين الثاني والثالث غير المستخدم. بعض لغات البرمجة الوظيفية، مثل Agda ، لديها استراتيجية التقييم هذه لجميع الدوال، وبالتالي تُنفذها if...then...elseكدالة عادية؛ بينما تستطيع لغات أخرى، مثل Haskell ، فعل ذلك، لكنها تختار تعريف الكلمات المفتاحية لأسباب تتعلق بالبنية أو الأداء أو التاريخ.
تحتوي لغة بايثون على تعبير شرطي ثلاثي، . في لغة إليكسير، سيكون التعبير المكافئ هو .xifCelseyif(C,do:x,else:y)
تحتوي لغة فورث أيضًا على عامل ثلاثي، */، يقوم بضرب أول رقمين (في خلية واحدة)، ثم يقسم الناتج على الرقم الثالث، ويكون الناتج الوسيط رقمًا مزدوجًا. يُستخدم هذا العامل عندما يتجاوز الناتج الوسيط سعة خلية واحدة.
تحتوي آلة حاسبة يونكس dc على العديد من المعاملات الثلاثية، مثل |، والتي تقوم بسحب ثلاث قيم من المكدس وحسابها بكفاءةبدقة تعسفية .
العديد من تعليمات لغة التجميع ( RISC ) هي ثلاثية (على عكس المعاملات الثنائية المحددة في CISC)؛ أو أعلى، مثل ، والتي ستقوم بتحميل ( MOV ) في المسجل AX محتويات موقع ذاكرة محسوب وهو مجموع (أقواس) المسجلين BX و CX .MOV%AX,(%BX,%CX)
ن -اري
المتوسط الحسابي لـ n عدد حقيقي هو دالة من الرتبة n :
وبالمثل، فإن المتوسط الهندسي لـ n من الأعداد الحقيقية الموجبة هو دالة من الرتبة n :لاحظ أن لوغاريتم الوسط الهندسي هو الوسط الحسابي للوغاريتمات n من وسائطه
من وجهة نظر رياضية، يمكن دائمًا اعتبار دالة ذات n وسيطًا دالة لوسيط واحد ينتمي إلى فضاء جداء ما . ومع ذلك، قد يكون من الأنسب في الترميز اعتبار الدوال ذات n وسيطًا، مثل الدوال متعددة الخطية (التي لا تُعد دوالًا خطية على فضاء الجداء إذا كان n ≠ 1 ).
وينطبق الشيء نفسه على لغات البرمجة، حيث يمكن دائمًا تعريف الدوال التي تأخذ عدة وسائط على أنها دوال تأخذ وسيطًا واحدًا من نوع مركب مثل tuple ، أو في اللغات ذات الدوال ذات الرتبة الأعلى ، عن طريق التخصيص الجزئي .
عدد متفاوت
في علوم الحاسوب، تُسمى الدالة التي تقبل عددًا متغيرًا من الوسائط بالدالة المتغيرة الوسائط . وفي المنطق والفلسفة، تُسمى المسندات أو العلاقات التي تقبل عددًا متغيرًا من الوسائط بالدوال متعددة الدرجات ، أو الدوال الأنودية، أو الدوال متعددة الوسائط المتغيرة. [ 8 ]
مصطلحات
تُستخدم الأسماء اللاتينية عادةً للدلالة على أعداد محددة، وهي في الأساس مشتقة من الأعداد التوزيعية اللاتينية التي تعني "في مجموعة من ن "، مع أن بعضها مشتق من الأعداد الأصلية أو الترتيبية اللاتينية . على سبيل المثال، يُشتق مصطلح "1-ary" من العدد الأصلي "unus "، وليس من العدد التوزيعي "singulī" الذي ينتج عنه "singulary" .
| ن -اري | أريتي (مقرها اللاتينية) | أديسيتي (مقرها اليونان) | مثال في الرياضيات | مثال في علوم الحاسوب |
|---|---|---|---|---|
| 0-ary | nullary (من nūllus ) | نيلاديك | ثابت | دالة بدون وسائط، صحيح ، خطأ |
| 1-ary | أحادي | أحادي | المعكوس الجمعي | عامل النفي المنطقي |
| 2-ary | ثنائي | ثنائي | إضافة | عوامل التشغيل المنطقية OR و XOR و AND |
| 3-ary | ثلاثي | ثلاثي | حاصل الضرب الثلاثي للمتجهات | عامل الشرط الثلاثي |
| 4-ary | رباعي | رباعي | ||
| 5-ary | خماسي | خماسي | ||
| 6-ary | سيناري | سداسي | ||
| 7-ary | سباعي | أسبوعي | ||
| 8-ary | ثماني | ogdoadic | ||
| 9-ary | التساعي (أو التساعي) | العصر التساعي | ||
| 10-ary | denary (alt. decenary) | عقدي | ||
| أكثر من ثنائي | متعدد ومتعدد | متعدد العلاقات | ||
| متفاوت | متغير | المجموع؛ على سبيل المثال، Σ | دالة متغيرة ، تقليل |
n - ary تعني وجود n من المعاملات (أو المعلمات)، ولكنها تستخدم غالبًا كمرادف لـ "متعدد المعاملات".
تُستخدم هذه الكلمات غالبًا لوصف أي شيء يتعلق بهذا الرقم (على سبيل المثال، الشطرنج ذو العشرة عشر هو نوع من الشطرنج بلوحة 11×11، أو عريضة الألفية لعام 1603).
تُعرف رتبة العلاقة ( أو المسند ) بأنها بُعد المجال في حاصل الضرب الديكارتي المقابل . ( وبالتالي، تُعتبر العملية ذات الرتبة n علاقة ذات رتبة n +1). "بما أن العملية ذات الرتبة n هي حالة خاصة من العلاقة ذات الرتبة (n+1)، نرى أن الجبر يمكن اعتباره حالة خاصة من البنى العلائقية." [ 9 ]
في برمجة الحاسوب ، غالبًا ما يوجد تمييز نحوي بين المعاملات والدوال ؛ فالمعاملات النحوية عادةً ما تكون ذات 1 أو 2 أو 3 وسائط ( ويُعدّ المعامل الثلاثي ?: شائعًا أيضًا). أما الدوال ، فتختلف اختلافًا كبيرًا في عدد الوسائط، مع أن الأعداد الكبيرة قد تُصبح مُعقدة. كما تُوفر بعض لغات البرمجة دعمًا للدوال ذات عدد الوسائط المتغير ، أي الدوال التي تقبل نحويًا عددًا متغيرًا من الوسائط.
انظر أيضاً
- منطق الأقارب
- العلاقة الثنائية
- العلاقة الثلاثية
- نظرية العلاقات
- التوقيع (المنطقي)
- المعلمة
- العدد p -adic
- العددية
- التكافؤ (علم اللغة)
- رمز من الرتبة n
- مجموعة n -ary
- نموذج الدالة – تعريف اسم الدالة وتوقيع نوعها، ولكن ليس جسم الدالة
- توقيع النوع – يحدد المدخلات والمخرجات لدالة أو روتين فرعي أو طريقة
- أحادي المتغير ومتعدد المتغيرات
- المالية
مراجع
- ^ ميشيل هازوينكل (2001). موسوعة الرياضيات، الملحق الثالث . سبرينغر. ص. 3. رقم ISBN 978-1-4020-0198-7.
- ↑ شيشتر، إريك (1997). دليل التحليل وأسسه . دار النشر الأكاديمية. ص 356. ISBN 978-0-12-622760-4.
- ↑ ديتليفن، مايكل ؛ مكارتي، ديفيد تشارلز؛ بيكون، جون ب. (1999). المنطق من الألف إلى الياء . روتليدج. ص 7. ISBN 978-0-415-21375-2.
- ↑ كوتشياريلا، نينو ب.؛ فرويند، ماكس أ. (2008). المنطق الموجه: مقدمة في بناء الجملة والدلالات . مطبعة جامعة أكسفورد. ص 121. ISBN 978-0-19-536658-7.
- ↑ كريستال، ديفيد (2008). قاموس اللغويات وعلم الأصوات ( الطبعة السادسة). جون وايلي وأولاده. ص 507. ISBN 978-1-405-15296-9.
- ↑ كواين، دبليو في أو (1940)، المنطق الرياضي ، كامبريدج، ماساتشوستس: مطبعة جامعة هارفارد، ص 13
- ↑ روبنسون، أبراهام (1966)، التحليل غير القياسي ، أمستردام: نورث هولاند، ص 19
- ↑ أوليفر، أليكس (2004). "المسندات متعددة الدرجات". العقل . 113 (452): 609-681 . doi : 10.1093/mind/113.452.609 .
- ↑ بي إم كوهن (1968) الجبر الشامل ، صفحة 189
روابط خارجية
دراسة متاحة مجاناً عبر الإنترنت:
- بوريس، ستانلي ن.، وسانكابانافار، إتش بي، 1981. دورة في الجبر الشامل. سبرينغر-فيرلاغ. ISBN 3-540-90578-2وخاصة الصفحات 22-24.
- الجبر المجرد
- الجبر الشامل
