المرجع الألكتروني للمعلوماتية
القرآن الكريم وعلومه
العقائد الإسلامية
الفقه وأصوله 
الرجال والحديث 
سيرة الرسول وآله 
علوم اللغة العربية 
الأدب العربي 
الأسرة والمجتمع 
الأخلاق والأدعية 
التاريخ 
الادارة والاقتصاد 
علم الفيزياء 
علم الكيمياء 
علم الأحياء 
الرياضيات 
الهندسة المدنية 
الزراعة 
الجغرافية 
القانون 
اللغة الأنكليزية 
الأخبار 
الإعلام 
مكتبة الصور 
أقلام بمختلف الألوان 
إضاءات
مفتاح
أجوبة الإستفتاءات الشرعية
وثائقيات
تاريخ الرياضيات
الرياضيات في الحضارات المختلفة
الرياضيات المتقطعة
الجبر
الهندسة
المعادلات التفاضلية و التكاملية
التحليل
علماء الرياضيات | mu-Operator |
 843
 04:58 مساءً
date: 18-1-2022 |
Author : Mendelson, E 
Book or Source : Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997. 
Page and Part : ...|
Read More
Date: 18-1-2022
999
Date: 22-1-2022
1016
Date: 20-1-2022
1509
|
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].
Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.
|
|
|
|
لخفض ضغط الدم.. دراسة تحدد "تمارين مهمة"
|
|
|
|
|
|
|
طال انتظارها.. ميزة جديدة من "واتساب" تعزز الخصوصية
|
|
|
|
|
|
|
بمناسبة مرور 40 يومًا على رحيله الهيأة العليا لإحياء التراث تعقد ندوة ثقافية لاستذكار العلامة المحقق السيد محمد رضا الجلالي
|
|
|
