عن المشروع

يجمع CoursIA موارد تعليمية منظّمة في سلاسل من دفاتر الملاحظات التفاعلية. يغطي المسار البحث والتحسين، وإرضاء القيود، والاستدلال الرمزي، والاحتمالات والقرار، ونظرية الألعاب، وتعلّم الآلة، والتعلّم المعزّز، والذكاء الاصطناعي التوليدي، ودراسات حالة متعددة التخصصات، والتداول الخوارزمي مع QuantConnect. يركّز المستودع على المقارنات بين الأنماط المتعددة: يمكن معالجة المسألة نفسها، مثل Sudoku، عبر backtracking أو حلّالات القيود أو SMT أو الاستدلال الفوقي أو الاستدلال الاحتمالي أو الشبكات العصبية أو نموذج لغوي كبير. توجد العديد من دفاتر الملاحظات بنسختين متوازيتين بلغتي Python وC# تتبعان التدرّج نفسه، بينما يُستخدم Lean 4 لإثباتات شكلية مرافقة. تتوزّع القراءة على ثلاثة مستويات: تشكّل دفاتر الملاحظات المرقّمة المسار الرئيسي، وتعمّق دفاتر الملاحظات التي تحمل حرفًا مستوى معينًا، وتفتح السلاسل الفرعية موضوعات بحثية. ويمكن الدخول عبر سلسلة أو مسار سردي أو قيد بنيوي أو الكتالوج المُولَّد. ويوفّر هذا الأخير الأعداد وحالات READY/DEMO ونضج PRODUCTION/BETA. تعمل عدة مسارات محليًا دون مفتاح API أو GPU. وتوثّق السلاسل التي تتطلب API أو Docker أو WSL أو السحابة أو GPU بيئتها في دفتر الملاحظات الخاص بالانطلاق. وتناوب البيداغوجيا بين شروح موجّهة ومخرجات حقيقية وتمارين يجب إكمالها، وتشدّد بعض السلاسل على التحقق خارج العيّنة، والتكرارات متعددة البذور، وwalk-forward، وإثباتات Lean، وتوثيق النتائج السلبية. ويُنشر المشروع بموجب رخصة MIT.