عن الدورة
تقدّم دورتا Louv1.1x وLouv1.2x معًا مدخلًا إلى أهم مفاهيم وتقنيات ونماذج البرمجة ضمن إطار موحّد. تغطيان النماذج الثلاثة الرئيسية في البرمجة: البرمجة الوظيفية، والبرمجة كائنية التوجه، وبرمجة تدفق البيانات التصريحية. تستهدف هاتان الدورتان المتعلمين الذين لديهم معرفة أساسية بالبرمجة. ستكونان مفيدتين بشكل خاص لطلاب البرمجة المبتدئين، لكن المنهج غير التقليدي قد يقدّم أيضًا رؤى قيّمة للمحترفين ذوي الخبرة. تركّز Louv1.1x على المفاهيم الأساسية. ستتعلّم البرمجة الوظيفية وتقنياتها وبُنى البيانات المرتبطة بها. كما ستستخدم دلالات (Semantics) رسمية بسيطة لشرح جميع المفاهيم، وسترى هذه المفاهيم مُجسّدة عبر مقاطع شيفرة عملية قابلة للتشغيل على المنصة مفتوحة المصدر المرافقة للدورة: نظام Mozart للبرمجة. أما Louv1.2x فتستكمل المسار بتغطية موضوعات متقدمة مثل تجريد البيانات (Data Abstraction) وغيرها من المفاهيم التي تُكمل الصورة الشاملة لنماذج البرمجة ضمن الإطار الموحّد نفسه، مع الاستمرار في الاعتماد على أمثلة عملية ونهج دلالي يساعد على فهم السلوك البرمجي والاستدلال على صحة البرامج.
ماذا ستتعلم
- كيفية توصيف المشكلات وتقسيمها إلى خطواتها الأساسية وتصميم الخوارزميات والتجريدات اللازمة لحلها
- كيفية اختيار نموذج البرمجة المناسب وكتابة برنامج ضمن هذا النموذج لحل مشكلة ما
- كيفية استخدام الدلالات الرسمية للاستدلال على صحة البرامج
- كيفية كتابة برامج صغيرة متزامنة ضمن نموذج تدفق البيانات الحتمي
المتطلبات المسبقة
- معرفة أساسية بالبرمجة في لغة برمجة واحدة على الأقل
- ولفهم الدلالات: معرفة أساسية بمفاهيم رياضية مثل المجموعات والقوائم والدوال
المدرسون
Peter Van Roy
Professor of Computing Science and Engineering