المرجع الألكتروني للمعلوماتية
القرآن الكريم وعلومه
العقائد الإسلامية
الفقه وأصوله 
الرجال والحديث 
سيرة الرسول وآله 
علوم اللغة العربية 
الأدب العربي 
الأسرة والمجتمع 
الأخلاق والأدعية 
التاريخ 
الادارة والاقتصاد 
علم الفيزياء 
علم الكيمياء 
علم الأحياء 
الرياضيات 
الهندسة المدنية 
الزراعة 
الجغرافية 
القانون 
اللغة الأنكليزية 
الأخبار 
الإعلام 
مكتبة الصور 
أقلام بمختلف الألوان 
إضاءات
مفتاح
أجوبة الإستفتاءات الشرعية
وثائقيات
تاريخ الرياضيات
الرياضيات في الحضارات المختلفة
الرياضيات المتقطعة
الجبر
الهندسة
المعادلات التفاضلية و التكاملية
التحليل
علماء الرياضيات | mu-Operator |
 1039
 11:52 صباحاً
date: 2-1-2022 |
Author : Mendelson, E 
Book or Source : Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997. 
Page and Part : ...|
Read More
Date: 29-12-2021
1145
Date: 2-1-2022
1361
Date: 2-1-2022
1040
|
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.
|
|
|
|
دراسة يابانية لتقليل مخاطر أمراض المواليد منخفضي الوزن
|
|
|
|
|
|
|
اكتشاف أكبر مرجان في العالم قبالة سواحل جزر سليمان
|
|
|
|
|
|
|
المجمع العلمي ينظّم ندوة حوارية حول مفهوم العولمة الرقمية في بابل
|
|
|
