السلام عليكم
اولا لم ادرس الخوارزميات الى الان
و لكن لدى مشروع ان اقوم بعمل برنامج بالجافا يقوم بحل بعض المعادلات الخاصة باللوجيك
و لكن كيغ سأفعل هذا بالجافا
وجدت ان الموضوع معقد جداااا
هل الحوارزميات تدعم هذا
او تجاوبوا بنعم او لا
اقتباسهل الحوارزميات تدعم هذا
أولاً: ترجمة "لوجيك" هي "منطق"
ثانياً: ماهي المعادلات المنطقية التي ترغبين بحلها في جافا ؟
ثالثاً: الخوارزميات (وأقتبس من أستاذي ابراهيم):
اقتباساخي الفاضل: الخوارزمية بكل بساطة(وبالبلدي) هي خطة عمل او طريقة كتابة برنامج معين.............
تحويل الجمل المكتوبة في الخوارزمية الى لغة برمجة معينة يتم بسهولة وبخطوات بسيطة، خصوصا اذا كانت الخوارزمية تعطي كل التفاصيل.
بالتالي سؤالك "هل تدعم الخوازرزميات هذا ؟" هو سؤال خاطئ.
تم تعديل هذه المشاركة بواسطة Speed_Of_Light في 1 يوليو 2010 في 23:28
اقتباسثانياً: ماهي المعادلات المنطقية التي ترغبين بحلها في جافا ؟
هى resolution for predicate logic
اقتباسبالتالي سؤالك "هل تدعم الخوازرزميات هذا ؟" هو سؤال خاطئ.
لا اعرف كيفية توصيل سؤالى
انا لم ادرس الخوارزميات اوكى....؟
عندى هذا المشروع و اجد ان طريقة عمله بسبب احتوائة على معادلات رياضية تقريبا مستحيلة(مع استخدام AST )
اتسأل هل الخوارزميات وجدت لهذا......
الموضوع مش صعب او مستحيل يا إسراء لو ركزتي شويه :)
لو بيتم ادخال كل جمله في ال conjunctive normal form هيسهل عملية ال parsing جدا لاننا لن نحتاج لتحويلها لل conjunctive normal form
و الا هتضطري لعمل parsing للجمل لتحويلها لل conjunctive normal form و ده مش هيكون صعب قوي لو درستي كورس Compiler Design
بعد ادخال او تحويل الجمل الى CNF يتم تصميم algorithm للقيام بالتالي
http://en.wikipedia.org/wiki/Resolution_(logic)#A_resolution_technique