إن هذا البحث ما هو إلا محاولة إنصاف لواقع تاريخي حضاري يمس حياة الأمة العربية والإسلامية قبل أن يكون دفاعاً عنها، هذه الأمة التي طالما تعسفت عليها بعض المصادر الغربية في طمس الحقائق العلمية وخاصة في مجال تطور الرياضيات وتسجيل العديد من الاكتشافات الرياضية لصالح الغرب دون تقديم دلائل الإثبات، وشجعته أيد آثمة مستخدمة التزييف والتضليل وإضعاف لثقة بالذات في التراث العلمي العربي الإسلامي. الهدف من البحث: -يرمي هذا البحث إلى تحقيق الأهداف الآتية: -*التعرف على التراث العلمي العربي وأهمية تاريخ الرياضيات. *توثيق العلاقة بين تاريخ الرياضيات والمحتوى العلمي الرياضي. *تعريف العرب والمسلمين بواجباتهم نحو تراثهم العلمي. *دراسة التطور التاريخي في علوم الحساب والجبر والهندسة وحساب المثلثات. *دراسة أعمال بعض نوابغ علماء العرب والمسلمين في علوم الرياضيات. *إبراز الإسنادات الخاطئة لغير علماء العرب والمسلمين. منهجية البحث: -سيتم إتباع المنهج الوصفي التحليلي لتسجيل أهم الاكتشافات الرياضية وتطورها من الناحية العلمية التاريخية وإعطاء المزيد من التوضيح وربط العلاقات العلمية بعضها ببعض وصولاً إلى المعلومة الرياضية النهائية وإبراز الفكر العربي الإسلامي في الاكتشافات المختلفة للرياضيات.
هدي الصادق رحومة عبد الله (2007)

یتناول هذا البحث بعض خواص الحسبان التفاضلي في الفضاء المتجهي ثلاثي البعد R3عند تزویده بعمليات) ضرب (ثنائية الخطية ففي البدایة ثم دراسة بعض الخواص الجبریة لفضاءات متجهة مع عمليات ضرب مختلفة بحيث تعرِّف جبر، ليس من الضروري أن یكون تبدیلي أو تنسيقي، وبشكل خاص أطلقنا اسم جبر حقيقي ثلاثي البعد على الفضاء المتجهي R3 مع أي عملية ثنائية الخطية تجعل منه جبرًا، مع تقدیم بعض الأمثلة التوضيحية. ثم عرفنا النهایة والاستمراریة ومشتق فریشيه لحاصل ضرب دالَّتين نطاقهما ومداهما في جبر حقيقي ثلاثي البعد، وذلك بدلالة خواص النهایات والاستمراریة ومشتق فریشيه لكل منها كما تم استغلال عمليات الضرب في تعریف ودراسة مشتق غير مشتق فریشيه-مناظر لاشتقاق الدوال الحقيقية والمركبة على الرغم من عدم وجود المعكوس الضربي في جوار الصفر. كما حاولنا استنباط العلاقة بين هذا المشتق المتغير بالنسبة لعمليات الضرب المختلفة ومشتق فریشيه غير المتغير بالنسبة لعمليات الضرب، وتقدیم امتداد طبيعي في الجبر ثلاثي البعد لما نعتقد أنه یناظر معادلتيْ كوشي-ریمان في جبر الأعداد المركبة ثنائي البعد.
زينب محمد مفتاح العجيلي (2010)

هدف هذه الرسالة هو دراسة النسق المنطقي ل Rosserمن خلال إثبات جميع مبرهنات النسق المنطقي RA. ثم اثباث ان كل مبرهنة في RA صحيحة (Valid) -(ٍSoundness) وكذلك اثباث خاصية الاكتمال (Completeness) من خلال انه إذا كانت Aϵ RA(Tautology) فان A مبرهنة في RA(. (i.e ├R A ⊃ ╞R Aوأخيرا ثم اثباث استقلالية النسق (Independency) وذلك من خلال استقلال كل مسلمة على حده. Abstract The aim of this thesis is to show the Soundness, Completeness and Independency of Rosser Axiomatic System RA. by proving the following: - Every theorem of RA is a tautology (i.e ├RA ⊃╞R A) (The soundness) - If A is a Wff. of RA and A is a tautology , then├R A(The Completeness) -The Independency of AxR1 , AxR2 and AxR3.
مبروكة على الطوير (2010)