الحساب العددي، بايثون وتوليد التعليمات البرمجية

المكاسب:

• القدرة على التمييز بين حساب التفاضل والتكامل الرمزي والعددي واختيار الأداة المناسبة (SymPy أو NumPy/SciPy) لكل مشكلة
• القدرة على قراءة وفهم الكود الرقمي الذي ينتجه الذكاء الاصطناعي، وتشغيله بنفسك، والتحقق منه عن طريق إجراء اختبار المنطق السليم بمدخلات معروفة.
• فهم حدود دقة أرقام الفاصلة العائمة، واستخدام التسامح بدلاً من المساواة الدقيقة، وإدارة تأثير التخمين الأولي على الطرق العددية.

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

تعريف مهم: رقم الفاصلة العائمة هو تنسيق يقوم فيه الكمبيوتر بتخزين الأرقام العشرية بدقة محدودة. لهذا السبب في حسابات الكمبيوتر، 0.1 + 0.2 قد يتحول إلى 0.30000000000000004، وليس 0.3 بالضبط. وهذا ليس خطأ، بل هو طبيعة الحساب الرقمي – ولكنه سيؤدي إلى نتائج غير صحيحة إذا لم تكن على علم به. في الحساب العددي، يعمل المرء مع "قريب بما فيه الكفاية" بدلا من "المساواة التامة".

رمزية أم رقمية؟ اختيار الأداة المناسبة

الحالة

رمزي (SymPy)

رقمي (NumPy/SciPy)

هناك صيغة مغلقة

المفضل

ليس ضروريا

لا توجد صيغة/معقدة للغاية

لا يمكن حلها

المفضل

الدقة الكاملة مطلوبة

نعم

تقريبا.

البيانات الضخمة/المعالجة المتعددة

بطيء

سريع جدًا

النتيجة مع العلامة العشرية كافية

—

مناسب

يستخدم الممارس الجيد كلا الأمرين: الحل رمزيًا إن أمكن، والحل رقميًا إن لم يكن، والتحقق من أحدهما مع الآخر كلما أمكن ذلك.

خطوة بخطوة: إجراء عمليات حسابية رقمية آمنة باستخدام الذكاء الاصطناعي

1. تحديد المشكلة وحساسيتها. "كم عدد المنازل العشرية؟" و"في أي نطاق؟" توضيح أسئلتك.

2. اكتب التعليمات البرمجية إلى الذكاء الاصطناعي، وليس الإخراج. تذكر من الوحدة 4: لا تجعل الذكاء الاصطناعي يتنبأ بإخراج الكود. قمت بتشغيل التعليمات البرمجية.

3. اقرأ الكود وافهمه. فهم سطر التعليمات البرمجية الذي تم إنشاؤه سطرًا تلو الآخر. المكتبة الصحيحة، الوظيفة الصحيحة، المعلمات الصحيحة؟ لا تقم بتشغيل التعليمات البرمجية التي لا تفهمها.

4. اختبار مع حالة معروفة. جرب الكود بإدخال بسيط تعرف إجابته بالفعل. على سبيل المثال، sin(0)=0، مثل قيمة التكامل المعروف. إذا أعطاها الكود بشكل صحيح، فسوف تثق به أكثر.

5. الفحص المتقاطع رمزياً أو يدوياً. إذا كان ذلك ممكنًا، قم بتأكيد نفس النتيجة باستخدام SymPy أو الطريقة اليدوية.

6. احذر من مصائد النقطة العائمة. بدلاً من المساواة التامة مع ==، استخدم التفاوتات مثل abs(a - b) < 1e-9.

نصيحة: اختبر دائمًا رمزًا رقميًا "بإجابة تعرفها". إذا كتبت أداة البحث عن الجذور، فطبقها أولًا على معادلة ذات جذر معروف (x=±2)، مثل x²−4=0. إذا وجد الكود أن هذا صحيح، فمن المرجح أن يكون موثوقًا به في المعادلات التي لا تعرفها. هذا "الفحص العقلي" هو أرخص عملية تحقق.

مأزق حساب التفاضل والتكامل العددي: التقارب وتراكم الأخطاء.

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

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

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

ثلاث حالات صغيرة

الحالة 1 - اختيار الوظيفة غير صحيح. طلب أحد الطلاب من الذكاء الاصطناعي رمزًا للعثور على جذر دالة. استخدم الذكاء الاصطناعي scipy.optimize.fsolve، ولكنه اختار تخمينًا أوليًا سيئًا وتقارب مع الجذر الخاطئ. قام الطالب أولاً بفحص الدالة من خلال رسمها بيانيًا (انظر وحدة التصور)، وقدم التخمين الأولي الصحيح، وعثر على الجذر الحقيقي. الدرس المستفاد: مكتشفو الجذور الرقمية حساسون لنقطة البداية.

الحالة 2 - مصيدة النقطة العائمة. قام أحد المهندسين بتشغيل كود الذكاء الاصطناعي الذي كتب إذا كان 0.1 + 0.2 == 0.3: وأدرك أن الشرط لم يكن صحيحًا أبدًا. لقد تجاهل الذكاء الاصطناعي دقة النقطة العائمة. تم تصحيح الكود باستخدام abs((0.1+0.2) - 0.3) < 1e-9. 1e-9 تعني "عشرة إلى سالب تسعة"، وهو تسامح صغير جدًا.

الحالة 3 - اكتشف اختبار الفطرة السليمة الخطأ. تلقى أحد المعلمين رمزًا برمجيًا من scipy.integrate.quad يقوم بحساب تكامل محدد عدديًا. لقد اختبرها أولاً باستخدام تكامل معروف مثل ∫₀¹ x dx = 0.5؛ أعطى الكود 0.5. ثم قام بحساب التكامل الفعلي وأكد النتيجة باستخدام SymPy. لقد وثق عندما أعطت طريقتان مستقلتان نفس النتيجة. الوقت الإجمالي: 6 دقائق.

أربعة قوالب قابلة للنسخ

1) طلب رمز حساب رقمي:

اكتب كود بايثون الذي يحل المشكلة التالية عدديا: [مشكلة]. استخدم NumPy/SciPy. الحساسية: [على سبيل المثال. 6 عشرية]. سأقوم بتشغيل الكود. التنبؤ بالإخراج. اشرح بإيجاز في سطر التعليق الوظيفة التي اخترتها ولماذا.

2) إضافة اختبار الفطرة السليمة:

أضف فحصًا منطقيًا لهذا الكود لاختبار صحته قبل تشغيله: جربه بإدخال بسيط حيث تكون الإجابة معروفة بالفعل (على سبيل المثال، الجذر ±2 لـ x²-4=0) وتأكد من أنه يعطي النتيجة المتوقعة. الكود: [هنا]

3) التدقيق المتبادل الرمزي الرقمي:

اكتب التعليمات البرمجية التي تحل التكامل/المعادلة التالية مع كل من SymPy (رمزي) وSciPy (عددي): [مشكلة]. اطبع النتيجتين حتى أتمكن من مقارنتهما. أضف سطرًا يتحقق من الاختلافات باستخدام abs().

4) أمن النقطة العائمة:

قم بمراجعة مقارنات أرقام الفاصلة العائمة في هذا الكود. إذا كانت هناك مساواة صارمة '=='، فاستبدلها بالتسامح المناسب (abs(a-b) < 1e-9) واشرح السبب. الكود: [هنا]

موجه ضعيف / موجه قوي

ضعيف: "أوجد جذر هذه المعادلة: x³ − 2x − 5 = 0. اكتب الإجابة."

النتيجة: الذكاء الاصطناعي يناسب رقمًا عشريًا (مثل "2.0946..."). قد يكون أو لا يكون صحيحا؛ لم يتم التحقق منه لأنه لم يتم تشغيله.

قوي: "اكتب رمزًا يجد الجذر الحقيقي للمعادلة x³ − 2x − 5 = 0 باستخدام SciPy. للتخمين الأولي، حدد أولاً الفاصل الزمني الذي تتغير فيه إشارة الدالة. أضف سطرًا يحل محل الجذر وتحقق من أن النتيجة هي ~0. سأرى المخرجات."

النتيجة: تعليمات برمجية قابلة للتنفيذ، وتخمين أولي دقيق، وتجزئة مدمجة. ثبت صحة الجذر.

الأخطاء الشائعة

• الوثوق بالنتيجة دون تشغيل الكود. الناتج الرقمي الذي "يتنبأ به" الذكاء الاصطناعي ليس التحقق من الصحة.
• اختبار المساواة بين النقطة العائمة مع `==`. إنه خطأ دائمًا تقريبًا. استخدم التسامح.
• توقعات أولية سيئة تعتبر طرق الجذر/التحسين العددية حساسة لنقطة البداية؛ قد تتقارب إلى الجذر الخاطئ.
• عدم التعبير عن الحساسية. "كم عدد الخطوات؟" وإذا لم يُطلب منك ذلك، فقد لا تتناسب النتيجة مع الحاجة.
• عدم إجراء اختبار الفطرة السليمة. يعد تطبيق التعليمات البرمجية على مشكلة حقيقية دون اختبارها باستخدام مدخلات معروفة أمرًا محفوفًا بالمخاطر.
• تشغيل الكود دون فهمه. قد يكون الرمز الذي لا تفهمه يستخدم وظيفة خاطئة؛ فهم كل سطر.

تنبيه: النتائج العددية دائمًا ما تكون تقريبية. بدلاً من قول "النتيجة هي هذا بالضبط"، قل "هذا هو بالضبط ذلك". في التقرير الهندسي أو العلمي، يعتبر ذكر الطريقة والدقة المستخدمة جزءاً من الدقة. ومن المضلل تقديم نتيجة تقريبية على أنها نهائية.

باختصار

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

مهمة التطبيق

اختر مسألة يصعب حلها باستخدام صيغة مغلقة (على سبيل المثال، الجذر x³ − 2x − 5 = 0، أو القيمة المحددة للتكامل غير الأولي). اطلب من الذكاء الاصطناعي أن يطبع كلاً من الكود الرقمي، وإذا أمكن، كود التحقق المتبادل الرمزي الرقمي مع القالبين 1 و3. قم بتشغيل الكود في بيئة بايثون حقيقية. قم أولاً بإجراء اختبار المنطق السليم باستخدام مدخلات معروفة، ثم قم بحل المشكلة الفعلية. تأكد من استخدام التفاوتات إذا كانت هناك مقارنة بالفاصلة العائمة. لاحظ النتيجة مع حساسيتها.

قائمة مرجعية

• [ ] لقد حددت المشكلة والحساسية المطلوبة.
• [ ] قرأت وفهمت الكود الذي أنتجه الذكاء الاصطناعي سطرًا تلو الآخر.
• [ ] لقد قمت بتشغيل الكود في بيئة بايثون حقيقية.
• [ ] لقد قمت بإجراء اختبار الفطرة السليمة باستخدام مدخلات معروفة.
• [ ] لقد أضفت فحصًا رمزيًا/يدويًا إن أمكن.
• [ ] لقد استخدمت التسامح في مقارنات الفاصلة العائمة.