نماذج البرمجة الحاسوبية: التجريد والتزامن

تقدّم دورة Louv1.2x، مع سابقتها Louv1.1x، مدخلاً موحّدًا إلى أهم مفاهيم وتقنيات ونماذج البرمجة ضمن إطار واحد متماسك. تغطي الدورتان النماذج الثلاثة الرئيسية في البرمجة: البرمجة الدالية (Functional)، والبرمجة كائنية التوجه (Object-Oriented)، وتدفّق البيانات التصريحي (Declarative Dataflow). تستهدف هذه الدورات المتعلمين الذين يمتلكون معرفة أساسية بالبرمجة. ستكون مفيدة جدًا لطلاب البرمجة في بداياتهم، لكن المنهج غير التقليدي وطريقة الربط بين النماذج المختلفة قد يقدمان أيضًا رؤى قيّمة للمحترفين ذوي الخبرة. تركّز Louv1.1x (الأساسيات) على البرمجة الدالية وتقنياتها وبُناها البيانية. ستستخدم الدورتان دلالات شكلية بسيطة (Formal Semantics) لشرح المفاهيم بدقة، ثم تُعرض هذه المفاهيم من خلال شيفرات عملية قابلة للتنفيذ على المنصة مفتوحة المصدر المصاحبة للدورة: نظام Mozart Programming System. أما Louv1.2x (التجريد والتزامن) فتتابع البناء على الأساسيات لتطوير فهم أعمق لتجريد البيانات، وإدارة الحالة (State)، والبرمجة المتزامنة ضمن نموذج تدفّق البيانات الحتمي. ستتدرّب عبر تمارين عملية على تصميم التجريدات المناسبة، واختيار نموذج البرمجة الأنسب للمشكلة، وكتابة برامج صغيرة متزامنة يمكن الاستدلال على صحتها باستخدام الدلالات الشكلية.

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

• إتمام دورة Louv1.1x أو ما يعادلها