Read More
Date: 27-12-2021
1194
Date: 29-12-2021
1104
Date: 12-1-2022
1327
|
Let be a function such that for any , ..., , there is at least one such that . Then the -operator gives the least number such that . More generally, for a relation , the -operator gives the least , if any, such that is true, and this least value of is denoted (Mendelson 1997, p. 175).
For example, given a criterion crit and a list x1, x2, ..., xn, the -operator could be written in the Wolfram Language as Select[Sort[x1, x2, ..., xn], crit, 1].
REFERENCES:
Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.
|
|
مخاطر خفية لمكون شائع في مشروبات الطاقة والمكملات الغذائية
|
|
|
|
|
"آبل" تشغّل نظامها الجديد للذكاء الاصطناعي على أجهزتها
|
|
|
|
|
قسم الشؤون الفكرية يصدر العدد الثاني والعشرين من سلسلة كتاب العميد
|
|
|