المرجع الألكتروني للمعلوماتية
القرآن الكريم وعلومه
العقائد الإسلامية
الفقه وأصوله 
الرجال والحديث 
سيرة الرسول وآله 
علوم اللغة العربية 
الأدب العربي 
الأسرة والمجتمع 
الأخلاق والأدعية 
التاريخ 
الادارة والاقتصاد 
علم الفيزياء 
علم الكيمياء 
علم الأحياء 
الرياضيات 
الهندسة المدنية 
الزراعة 
الجغرافية 
القانون 
اللغة الأنكليزية 
الأخبار 
الإعلام 
مكتبة الصور 
أقلام بمختلف الألوان 
إضاءات
مفتاح
أجوبة الإستفتاءات الشرعية
وثائقيات
تاريخ الرياضيات
الرياضيات في الحضارات المختلفة
الرياضيات المتقطعة
الجبر
الهندسة
المعادلات التفاضلية و التكاملية
التحليل
علماء الرياضيات | Robbins Conjecture |
 804
 06:53 مساءً
date: 9-2-2022 |
Author : Kolata, G 
Book or Source : "Computer Math Proof Shows Reasoning Power." New York Times, Dec. 10, 1996. 
Page and Part : ...|
Read More
Date: 15-2-2022
1389
Date: 24-1-2022
906
Date: 14-2-2022
721
|
The conjecture that the equations for a Robbins algebra, commutativity, associativity, and the Robbins axiom
 |
where 
denotes NOT and 
denotes OR, imply those for a Boolean algebra. The conjecture was finally proven using a computer (McCune 1997).
Kolata, G. "Computer Math Proof Shows Reasoning Power." New York Times, Dec. 10, 1996.
McCune, W. "Solution of the Robbins Problem." J. Automat. Reason. 19, 263-276, 1997.
McCune, W. "Robbins Algebras Are Boolean." http://www.cs.unm.edu/~mccune/papers/robbins/.
|
|
|
|
للعاملين في الليل.. حيلة صحية تجنبكم خطر هذا النوع من العمل
|
|
|
|
|
|
|
"ناسا" تحتفي برائد الفضاء السوفياتي يوري غاغارين
|
|
|
|
|
|
|
نحو شراكة وطنية متكاملة.. الأمين العام للعتبة الحسينية يبحث مع وكيل وزارة الخارجية آفاق التعاون المؤسسي
|
|
|
