المرجع الالكتروني للمعلوماتية
المرجع الألكتروني للمعلوماتية

الرياضيات
عدد المواضيع في هذا القسم 9761 موضوعاً
تاريخ الرياضيات
الرياضيات المتقطعة
الجبر
الهندسة
المعادلات التفاضلية و التكاملية
التحليل
علماء الرياضيات

Untitled Document
أبحث عن شيء أخر
غزوة الحديبية والهدنة بين النبي وقريش
2024-11-01
بعد الحديبية افتروا على النبي « صلى الله عليه وآله » أنه سحر
2024-11-01
المستغفرون بالاسحار
2024-11-01
المرابطة في انتظار الفرج
2024-11-01
النضوج الجنسي للماشية sexual maturity
2024-11-01
المخرجون من ديارهم في سبيل الله
2024-11-01


Robbins Algebra  
  
681   06:59 مساءً   date: 9-2-2022
Author : b.Kolata, G.
Book or Source : Computer Math Proof Shows Reasoning Power." New York Times, Dec. 10, 1996.
Page and Part : ...


Read More
Date: 12-2-2022 663
Date: 9-2-2022 791
Date: 23-1-2022 629

Robbins Algebra

Building on work of Huntington (1933ab), Robbins conjectured that the equations for a Robbins algebra, commutativity, associativity, and the Robbins axiom

 !(!(x v y) v !(x v !y))=x,

where !x denotes NOT and x v y denotes OR, imply those for a Boolean algebra. The conjecture was finally proven using a computer (McCune 1997).


REFERENCES

 Fitelson, B. "Using Mathematica to Understand the Computer Proof of the Robbins Conjecture." Mathematica in Educ. Res. 7, 17-26, 1998. http://library.wolfram.com/infocenter/Articles/1475/.

 Fitelson, B. "Proof of the Robbins Conjecture." http://library.wolfram.com/infocenter/MathSource/291/.Huntington, E. V. "New Sets of Independent Postulates for the Algebra of Logic, with Special Reference to Whitehead and Russell's Principia Mathematica.Trans. Amer. Math. Soc. 35, 274-304, 1933

a.Huntington, E. V. "Boolean Algebra. A Correction." Trans. Amer. Math. Soc. 35, 557-558, 1933

b.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/.Nelson, E. "Automated Reasoning." http://www.math.princeton.edu/~nelson/ar.html.




الجبر أحد الفروع الرئيسية في الرياضيات، حيث إن التمكن من الرياضيات يعتمد على الفهم السليم للجبر. ويستخدم المهندسون والعلماء الجبر يومياً، وتعول المشاريع التجارية والصناعية على الجبر لحل الكثير من المعضلات التي تتعرض لها. ونظراً لأهمية الجبر في الحياة العصرية فإنه يدرّس في المدارس والجامعات في جميع أنحاء العالم. ويُعجب الكثير من الدارسين للجبر بقدرته وفائدته الكبيرتين، إذ باستخدام الجبر يمكن للمرء أن يحل كثيرًا من المسائل التي يتعذر حلها باستخدام الحساب فقط.وجاء اسمه من كتاب عالم الرياضيات والفلك والرحالة محمد بن موسى الخورازمي.


يعتبر علم المثلثات Trigonometry علماً عربياً ، فرياضيو العرب فضلوا علم المثلثات عن علم الفلك كأنهما علمين متداخلين ، ونظموه تنظيماً فيه لكثير من الدقة ، وقد كان اليونان يستعملون وتر CORDE ضعف القوسي قياس الزوايا ، فاستعاض رياضيو العرب عن الوتر بالجيب SINUS فأنت هذه الاستعاضة إلى تسهيل كثير من الاعمال الرياضية.

تعتبر المعادلات التفاضلية خير وسيلة لوصف معظم المـسائل الهندسـية والرياضـية والعلمية على حد سواء، إذ يتضح ذلك جليا في وصف عمليات انتقال الحرارة، جريان الموائـع، الحركة الموجية، الدوائر الإلكترونية فضلاً عن استخدامها في مسائل الهياكل الإنشائية والوصف الرياضي للتفاعلات الكيميائية.
ففي في الرياضيات, يطلق اسم المعادلات التفاضلية على المعادلات التي تحوي مشتقات و تفاضلات لبعض الدوال الرياضية و تظهر فيها بشكل متغيرات المعادلة . و يكون الهدف من حل هذه المعادلات هو إيجاد هذه الدوال الرياضية التي تحقق مشتقات هذه المعادلات.