نظرة عامة على البرنامج

مقدمة لبرنامج الدكتوراه في الحوسبة والمعادلات المقيدة في المجموعات شبه الحرة

برنامج الدكتوراه في الحوسبة والمعادلات المقيدة في المجموعات شبه الحرة في Loughborough University هو درجة تركز على البحث وتتعمق في الجوانب النظرية لعلوم الكمبيوتر، لا سيما في مجالات نظرية اللغة الرسمية والمنطق والخوارزميات. تم تصميم هذا البرنامج للأفراد الذين لديهم خلفية قوية في علوم الكمبيوتر النظرية والرياضيات المنفصلة، الذين يتوقون لاستكشاف حدود الأساليب الخوارزمية في حل مشاكل الرضا.

المؤهل (المؤهلات) متاح

• دكتوراه

متطلبات الدخول

• درجة الشرف 2:1 كحد أدنى في علوم الكمبيوتر أو الرياضيات أو أي موضوع وثيق الصلة.
• تجربة مع البراهين الرياضية الرسمية.

رسوم الدخول

• رسوم المملكة المتحدة: 5،006 جنيه إسترليني للحصول على درجة بدوام كامل سنويًا
• الرسوم الدولية: 28,600 جنيه إسترليني للحصول على درجة بدوام كامل سنويًا

المدة وتاريخ البدء

• بدوام كامل: 3 سنوات
• تاريخ البدء: أكتوبر 2025، يناير 2026، أبريل 2026، يوليو 2026

الموعد النهائي لتقديم الطلبات

• 1 أبريل 2026

مرجع المشروع

• كو/جيد-SF2/2025

الموقع

• لوبورو

مجال (مجالات) الموضوع

• علوم الكمبيوتر

تفاصيل المشروع

بالنظر إلى المجموعة المحدودة A والعملية الثنائية الترابطية o، تكون المجموعة شبه المجموعة عبارة عن مجموعة تحتوي على A ويتم إغلاقها تحت o. إذا كان |A| = n، فإن المجموعة شبه الجزئية الحرة A+ هي مثال خاص للمجموعة النصفية. غالبًا ما تكون A في علوم الكمبيوتر عبارة عن مجموعة من الرموز تسمى الأحرف، o هي عملية التسلسل، وتحتوي A+ على جميع السلاسل غير الفارغة (تسمى أيضًا الكلمات) التي تشتمل على رموز من A. تعتبر نظرية الترتيب الأول للمجموعة شبه الحرة غير قابلة للتحديد الحسابي بشكل عام، ولكن من المعروف أن قابلية إشباع الصيغ الخالية من المحدد الكمي من الدرجة الأولى، بما في ذلك المعادلات الفردية، يمكن تحديدها نظريًا على الأقل. من الناحية العملية، لا يزال تطوير خوارزميات فعالة بما فيه الكفاية يمثل تحديًا.

الهدف من هذا المشروع هو دراسة المعادلات أو صيغ الدرجة الأولى الخالية من المحددات الكمية في المجموعات شبه الحرة التي يتم زيادتها بقيود إضافية، على سبيل المثال عن طريق تقييد القيم التي قد تأخذها المتغيرات إلى مجموعات فرعية منطقية من A+ أو عن طريق وضع قيود حسابية على أطوالها، ونتيجة لذلك لفهم حدود الأساليب الخوارزمية بشكل أفضل في حل مشاكل الإشباع الناتجة. مثل هذه المشاكل لها آثار في مجموعة متنوعة من مجالات الرياضيات وعلوم الكمبيوتر، بما في ذلك الأساليب الرسمية، ونظرية المجموعة التوافقية، ونظرية الحساب والأرقام، ونظرية اللغة الرسمية، ونظرية الحساب والتوافقيات على الكلمات.

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

يجب أن يكون لدى المرشح الناجح دافع داخلي قوي ويجب أن يتمتع بحل المشكلات والتفكير المجرد. يجب أن يعملوا بشكل جيد بشكل فردي، على الرغم من أنه ستكون هناك أيضًا فرص للتعاون والتواصل محليًا ودوليًا. من المستحسن أيضًا مهارات الاتصال الجيدة، اللفظية والكتابية، والخبرة في قراءة وكتابة الرياضيات الرسمية (بما في ذلك البراهين). يتم تشجيع المتقدمين من خلفيات متنوعة بشدة.

المشرفون

• المشرف الأساسي: جويل داي

متطلبات اللغة الإنجليزية

يجب على المتقدمين تلبية الحد الأدنى من متطلبات اللغة الإنجليزية. مزيد من التفاصيل متوفرة على الموقع الدولي.

الرسوم والتمويل

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

كيفية التقديم

يجب تقديم جميع الطلبات عبر الإنترنت. ضمن اسم البرنامج، حدد علوم الكمبيوتر. يرجى ذكر الرقم المرجعي المعلن عنه: CO/JD-SF2/2025 في طلبك.

لتجنب التأخير في معالجة طلبك، يرجى التأكد من تقديم السيرة الذاتية والحد الأدنى من المستندات الداعمة.

سيتم استخدام معايير الاختيار التالية من قبل المدارس الأكاديمية لمساعدتها على اتخاذ قرار بشأن طلبك. يرجى ملاحظة أن هذه المعايير تستخدم لكل من المشاريع الممولة والممولة ذاتيًا.

يرجى ملاحظة أنه يتم النظر في طلبات هذا المشروع بشكل مستمر بمجرد تقديمها ويمكن سحب المشروع قبل الموعد النهائي لتقديم الطلبات، إذا تم اختيار مرشح مناسب للمشروع.