قاعدة لايبنيز العامة

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

الاثبات الشرطي  (Conditional Proof)

الكاتب: سارا البريدي الأستاذ المشرف: أ. فراس عوض الاثبات الشرطي هو من الاثباتات التي شهدته العالم في عصرنا الحاضر نتيجة ثورة هائلة من التقدم العلمي والتكنولوجي ولا يمكن لأحد أن يتجاهل أثر تطور علوم الرياضيات في هذا التقدم. من أجل ذلك بدأت كثير من الدول في اجراء تغيرات...

خوارزمية مجتمع النحل الاصطناعي (ABC)

الكاتبة: رشا عودة إشراف الأستاذ: فراس عوض الذكاء الاصطناعي هو سلوك وخصائص معينة تتسم بها البرامج الحاسوبية تجعلها تحاكي القدرات الذهنية البشرية وأنماط عملها. من أهم هذه الخاصيات القدرة على التعلم والاستنتاج ورد الفعل على أوضاع لم تبرمج في الآلة.كذلك تُعرِّف الكثير من...