الأرشيف الشهري: أكتوبر 2020

ما هو نظريات علوم الحاسب؟

ما سأذكره هنا هو ترجمة من تعريف نظريات علوم الحاسب من كتاب: The Princeton Companion to Mathematics، ص7، وهو تعريف مختصر:

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