في هذا البحث ناقشنا بعض المفاهيم ومنها وصلنا إلى مفهوم دالة التمثيل الخطي المحدودة بين جبران بوليان وأخيرا أثبتنا جبريا نظريتا كالتن للتمثيل الخطي المحدود بالأبواب التالية: الباب الأول: قدمنا في هذا الباب بعض التعريفات والقواعد والنتائج الأساسية التي نحتاجها لاحقا. مثل نظرية المجموعات ومجموعة كانتور ومجموعات بوريل. الباب الثاني: ناقشنا في الباب الثاني بعض المفاهيم المتعلقة بالجبر البولي والمؤثر الخطي المحدود بين جبران بوليان. الباب الثالث: أما الباب الثالث فقد ناقشنا فيه المفاهيم المتعلقة بالقياس والقياس المؤشروالمجموعات القابلة للقياس والدوال المقيسة والتكامل بالنسبة للقياس المؤشر وأخيرا عرفنا فضاء . الباب الرابع: قدمنا النتيجة الأساسية لهذا البحث وهي الإثبات جبريا نظريتا كالتن للتمثيل الخطي المحدود. Abstract In this thesis, we give an algebraic proof of the Kalton representation theorems. In chapter one, we give some basic standard definitions and some results we need later. In chapter two we discuss the concept of Boolean algebra, and bounded linear operators between two Boolean algebras. In chapter three, we discuss the concepts of measure, signed measure, measurable sets, measurable functions, integration with respect to signed measure; later in this chapter, we define.In the last chapter (4) we give the main result of our thesis which is the proof of KALTON representation theorems.
إيمان إسماعيل النحائسي (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)

في منتصف القرن الثامن عشر قدم العالم السويسري ليونارد أويلر ((1787-1707 الحل للمعادلة حيث وسع حقل الاعداد الحقيقية إلى حقل جديد يكون فيه للمعادلة السابقة حل وهو ماسمي فيما بعد بحقل الأعداد المركبة, حيث صاغ أويلر العدد المركب على الصورة ولكن صيغة أويلر تطرح بعض الاسئلة المنطقية عن إشارة في صورة العدد المركب قبل تعريف عملية جمع الأعداد المركبة, إلى أن جاء العالم الايرلندي- بعد حوالى قرن من الزمان- ويليام رون هاملتون ( (1865-1805عرف جبر الاعداد المركبة على أنه مع عملية الجمع المعتادة والضرب المركب وكان لهذا الجبر نتائج هامة ضمنها تعريف الدوال الاسية والمثلثية بحيث تكون تعميم لنظائرها في التحليل الحقيقي.في هذا البحث نحاول تعميم الدوال الاسية والمثلثية في متغيرين في أنظمة جبرية غير الأعداد المركبة وندرس كيف أن هذا التعريف يعتمد على تعريف عمليات الضرب (الدوال ثنائية الخطية) على كما سنثبت أن هذه الدوال لها الخواص الأسية والمثلثية المشهورة مثل : ثم نتعرض لكيفية تعريف الاشتقاق , ,, بحيث نجد مشتقاتها تتوافق مع التصورات السابقة مثل: وسوف يتبين في هذه الدراسة أن هذا التعميم ينطبق , على الدوال الاولية المركبة كحالة خاصة. Abstract In the eighteen century the Swiss mathematician Leonard Euler introduced the solution of the equation , by that he extended the field of real numbers to the new one which make the above equation possible to solve, that field is called later the field of complex numbers. Euler wrote a complex number in the form. But Euler's notation raises logical questions about the + in the notation. A quite satisfactory definition of complex numbers is due the Irish mathematician William Rowan Hamilton. According to Hamilton the algebra of complex numbers, C is defined aswith the usual operations. That algebra has many important results includes the definition of the exponential and trigonometric functions to be generalization to its analog in the real analysis. In this thes is we try to extend the definitions of the exponential and trigonometric functions in two variables to include algebras distinct from the complex numbers and we study how this definition depends on the definition of multiplication (bilinear functions) on, and we well show that the functions have the same familiar exponential and trigonometric properties as , , , And we will present the definition of differentiation such that we find derivatives compatible with previous visions such as , And we try to prove this generalization compatible with the complex elementary functions as a special case.
محمد ابو القاسم ابو عجيلة (2010)