تحسين المنطق الرياضي