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

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

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


Confluent  
  
674   08:10 مساءً   date: 22-1-2022
Author : Baader, F. and Nipkow, T.
Book or Source : Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.
Page and Part : ...


Read More
Date: 22-1-2022 803
Date: 13-2-2022 796
Date: 13-2-2022 731

Confluent

 

Confluent

A reduction system is called confluent (or globally confluent) if, for all xu, and w such that x->_*u and x->_*w, there exists a z such that u->_*z and w->_*z. A reduction system is said to be locally confluent if, for all xuw such that x->u and x->w, there exists a z such that u->_*z and w->_*z. Here, the notation x->y indicates that x is reduced to y in one step, and x->_*y indicates that x is reduced to y in zero or more steps.

A reduction system is confluent iff it has Church-Rosser property (Wolfram 2002, p. 1036). In finitely terminating reduction systems, global and local confluence are equivalent, for instance in the systems shown above. Reduction systems that are both finitely terminating and confluent are called convergent. In a convergent reduction system, unique normal forms exist for all expressions.

The problem of determining whether a given reduction system is confluent is recursively undecidable.

The property of being confluent is called confluence. Confluence is a necessary condition for causal invariance.


REFERENCES

Baader, F. and Nipkow, T. Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.

Wolfram, S. A New Kind of Science. Champaign, IL: Wolfram Media, pp. 507 and 1036-1037, 2002.




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


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

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