Enroll Course: https://www.coursera.org/learn/what-is-a-proof
التفكير الرياضي هو أداة حيوية في جميع مجالات علوم الكمبيوتر، بما في ذلك الخوارزميات، وعلم الأحياء الحاسوبي، ورسومات الكمبيوتر، وعلوم البيانات، وتعلم الآلة. في دورة “التفكير الرياضي في علوم الكمبيوتر” على كورسيرا، نتناول الأدوات الأساسية المستخدمة في الرياضيات المتقطعة، مثل الاستقراء، والتكرار، والمنطق، والثوابت، والأمثلة، والامتثال الأمثل.
تبدأ الدورة بمباحث حول كيف يمكن أن تكون بعض الحجج مقنعة بينما البعض الآخر لا. نتناول كيف يمكن إنشاء الحجة بطريقة تجعلك مطمئنًا من عدم وجود مجال للشك. نحتاج لفهم وإيضاح وإدراك المتعة التي يمكن أن نجدها في البرهان الرياضي، إذ يمكن أن تحويل ملاحظة صغيرة إلى سؤال معقد يبدو واضحًا.
ثم ننتقل إلى كيفية إيجاد مثال. نتناول طرق التأكد من وجود كائن يحقق متطلبات معينة، والتحقيق في إمكانيات ذلك باستخدام البرمجة.
سنكتشف أساليب قوية مثل الاستقراء والتكرار، حيث هي أساليب مستخدمة بشكل متكرر في الرياضيات المتقطعة وعلوم الكمبيوتر. هذه المهارات تساعد على تحديد المشاكل وتقسيمها إلى مشاكل أصغر.
كما نستعرض أساسيات المنطق الرياضي، حيث يلعب دورًا حاسمًا في إنشاء الحجج المقنعة. هذه المعرفة تفيدنا في كتابة كود قابل للقراءة ودقيقة.
نتناول أيضًا مفهوم الثوابت، وهو خاصية تحافظ على قيمتها خلال العمليات، ونعمل معًا على تحديد الثوابت المناسبة لدراسة سلوك الخوارزميات.
وأخيرًا، سنتناول حل لغز 15، الذي يحتاج إلى تنظيم القطع بشكل صحيح. سنعمل معًا على تنفيذ برامج تساعدنا في حل أي تكوين من هذه اللعبة في وقت قياسي.
بشكل عام، الدورة تجمع بين النظرية والتطبيق، مما يجعلها مثالية لكل من يرغب في تعزيز مهاراته الرياضية في مجالات علوم الكمبيوتر. أوصي بشدة بالانضمام إلى هذه الدورة لما لها من فوائد عظيمة في إتقان التفكير الرياضي الضروري لكل محترف في مجال التكنولوجيا.
Enroll Course: https://www.coursera.org/learn/what-is-a-proof