المرجع الألكتروني للمعلوماتية
القرآن الكريم وعلومه
العقائد الإسلامية
الفقه وأصوله 
الرجال والحديث 
سيرة الرسول وآله 
علوم اللغة العربية 
الأدب العربي 
الأسرة والمجتمع 
الأخلاق والأدعية 
التاريخ 
الادارة والاقتصاد 
علم الفيزياء 
علم الكيمياء 
علم الأحياء 
الرياضيات 
الهندسة المدنية 
الزراعة 
الجغرافية 
القانون 
اللغة الأنكليزية 
الأخبار 
الإعلام 
مكتبة الصور 
أقلام بمختلف الألوان 
إضاءات
مفتاح
أجوبة الإستفتاءات الشرعية
وثائقيات
تاريخ الرياضيات
الرياضيات في الحضارات المختلفة
الرياضيات المتقطعة
الجبر
الهندسة
المعادلات التفاضلية و التكاملية
التحليل
علماء الرياضيات | mu-Operator |
 666
 03:21 مساءً
date: 12-2-2022 |
Author : Mendelson, E 
Book or Source : Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997. 
Page and Part : ...|
Read More
Date: 30-1-2022
1430
Date: 23-1-2022
647
Date: 15-2-2022
2039
|
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.
|
|
|
|
تفوقت في الاختبار على الجميع.. فاكهة "خارقة" في عالم التغذية
|
|
|
|
|
|
|
أمين عام أوبك: النفط الخام والغاز الطبيعي "هبة من الله"
|
|
|
|
|
|
|
قسم شؤون المعارف ينظم دورة عن آليات عمل الفهارس الفنية للموسوعات والكتب لملاكاته
|
|
|
