تفاصيل الوثيقة نوع الوثيقة : بحث مدعم  عنوان الوثيقة : الموديلات المستقرة وتطبيقاتها في نظرية الطبقة. Stable models and its applications in the theory class.   لغة الوثيقة : العربية  المستخلص : الهدف الرئيس من مشروع هذا البحث هو ايجاد تطبيقات للموديلات المستفرة وطبقاته في نظرية كليفورد وتكافؤات موريتا في طبقات الموديلات. في الباب الأول نعطي مقدمة الموديلات المستقرة , وفي الباب الثاني أثبتنا أن نظرية كليفورد غير القياسية هي في الأساس طريقة أخرى للتعبير عن نظير كليفورد المستقرة . في الباب الثالث أثبتنا أن تعميم أسليندر- فولر - هو حالة خاصة من تكافؤ طبقتين من الموديلات المستقرة . وفي الباب الرابع أعطينا طريقة لتركيب موريتا كونتكست (Moruta context) الإسقاطي من آخر غير إسقاطي .  سنة النشر : 1417 هـ 1997 م  اسم الداعم : جامعة الملك عبدالعزيز  سنة الدعم : 1417 هـ 1997 م  تاريخ الاضافة على الموقع : Wednesday, April 30, 2008  الباحثون اسم الباحث (عربي) اسم الباحث (انجليزي) نوع الباحث المرتبة العلمية البريد الالكتروني حمزة علي أبو جبل abujbl, hamza ali باحث رئيسي دكتوراه   الملفات اسم الملف النوع الوصف  30032.docx docx   الرجوع إلى صفحة الأبحاث