التفكير الرياضي في علوم الحاسوب

تُعد هذه الدورة مدخلاً أساسياً لأدوات الرياضيات المتقطعة المهمة في علوم الحاسوب، حيث يتم شرح مفاهيم مثل الاستقراء، العودية، المنطق، الثوابت، الأمثلة، ومفاهيم الأمثلية. تُستخدم هذه الأدوات للإجابة عن أسئلة برمجية نموذجية مثل التحقق من وجود الحلول، التأكد من أن البرنامج يعطي النتائج المثلى، والتأكد من مطابقة الكائنات للمتطلبات المعطاة. يعتمد الأسلوب التدريسي على منهج تفاعلي يشجع الطالب على اكتشاف الأفكار والمفاهيم الهامة بنفسه من خلال حل ألغاز مصممة بعناية ومتوافقة مع الأجهزة المحمولة. تفترض الدورة معرفة رياضية أساسية فقط، وتُلائم المبتدئين في علم الحاسوب.

• استخدام أدوات الرياضيات المتقطعة لحل المشكلات
• تطبيق طرق الاستقراء والمنطق في البرمجة
• تحليل الأمثلية والتحقق من صحة الحلول البرمجية
• تنمية مهارات التفكير الحاسوبي والرياضي التفاعلي

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