
هذا المساق مصمم لتعزيز مهارات التفكير المجرد في مجال علوم الحاسوب النظرية، وذلك من خلال التعمق في مفاهيم إنتاج واستهلاك الرموز كنموذج أساسي لسلوك الأنظمة. يتعلم المشاركون كيفية صياغة هذه المفاهيم رياضيًا باستخدام ترتيب البادئات والدوال العدّية. كما يوفر المساق تدريبًا عمليًا على شبكات Petri، مع دراسة الجوانب المتعلقة بالتوقيت وترتيب الأنظمة التي تستخدم الرموز. يوضح المساق كيفية إجراء تحليل أداء في أسوأ الحالات على مخططات بيانات ذات معدل مفرد، مع التركيز على مؤشرات مهمة مثل الإنتاجية، الكمون، والتخزين المؤقت. يتيح المساق فهماً واضحاً للأدوات والأساليب الرياضية التي تدعم تحليل وتحسين أداء الأنظمة المعقدة.
Dr.ir. Pieter Cuijpers
Assistant Professor
Anne Remke
Prof. dr.