https://3rabica.org/index.php?action=history&feed=atom&title=%D8%B2%D9%88%D8%AC_%D9%85%D9%87%D9%85زوج مهم - تاريخ المراجعة2026-06-06T12:54:57Zتاريخ التعديل لهذه الصفحة في الويكيMediaWiki 1.43.7https://3rabica.org/index.php?title=%D8%B2%D9%88%D8%AC_%D9%85%D9%87%D9%85&diff=3377047&oldid=prevعبد العزيز: بوت:إضافة بوابة (بوابة:علم الحاسوب)2023-07-04T16:15:41Z<p>بوت:إضافة بوابة (بوابة:علم الحاسوب)</p>
<p><b>صفحة جديدة</b></p><div>{{يتيمة|تاريخ=أغسطس 2021}}<br />
في [[علم الحاسوب|علوم الكمبيوتر]]، وبشكل أكثر دقة في إعادة كتابة النظرية، '''الزوج المهم'''<ref>D. Knuth, P. Bendix (1970). J. Leech, ed. Simple Word Problems in Universal Algebras. Pergamon Press. pp. 263–297. Voir aussi {{استشهاد بكتاب<br />
| الأول = Franz<br />
| الأول2 = Tobias<br />
| عنوان = Term Rewriting and All That<br />
| ناشر = [[مطبعة جامعة كامبريدج]]<br />
| تاريخ = 1998-01-01<br />
| صفحات = 301<br />
| ISBN = 0-521-45520-0<br />
| مسار = http://dl.acm.org/citation.cfm?id=280474<br />
| تاريخ الوصول = 13 mai 2016<br />
|مسار أرشيف= https://web.archive.org/web/20210814153306/https://dl.acm.org/citation.cfm?id=280474|تاريخ أرشيف=2021-08-14}}.</ref> <ref>{{استشهاد بكتاب<br />
| الأول = Franz<br />
| الأول2 = Tobias<br />
| عنوان = Term Rewriting and All That<br />
| ناشر = [[مطبعة جامعة كامبريدج]]<br />
| تاريخ = 1998-01-01<br />
| صفحات = 301<br />
| ISBN = 0-521-45520-0<br />
| مسار = http://dl.acm.org/citation.cfm?id=280474<br />
| تاريخ الوصول = 15 mai 2016<br />
|مسار أرشيف= https://web.archive.org/web/20210814153306/https://dl.acm.org/citation.cfm?id=280474|تاريخ أرشيف=2021-08-14}}.</ref> هو زوج من [[حد (رياضيات)|المصطلحات]] التي تتدخل في دراسة التقاء (المحلي) لأنظمة إعادة الكتابة. هذان المصطلحان تم الحصول عليهما من المصطلح t، أحدهما بتطبيق قاعدة على t، والآخر بتطبيق قاعدة على مصطلح فرعي من t.<br />
<br />
== مراجع ==<br />
{{مراجع}}<br />
{{شريط بوابات|رياضيات|علم الحاسوب|منطق}}<br />
<br />
{{بذرة جبر}}<br />
<br />
[[تصنيف:جبر]]<br />
[[تصنيف:لغات شكلية]]<br />
[[تصنيف:منطق رياضي]]<br />
[[تصنيف:نظرية قابلية الحساب]]</div>عبد العزيز