هل هناك نظريات في الحاسب الآلي

[Spears]

شكرا أخي سلطان على الرد
بعد البحث وجدت نظريتين لكن لا أعلم صحتهما وهي كالتالي:

نظرية المخططات
في الرياضيات و علوم الحاسب ، تقوم نظرية المخططات بدراسة خواص المخططات . يمكن اعتبار المخطط مجموعة كائنات objects تدعى رؤوس vertices ، ترتبط ببعضها بأضلاع أو حواف يمكن أن مزودة باتجاه أو بدون اتجاه . التمثيل لهذا المخطط يكون على الورق بمجموعة نقاط تمثل الرؤوس متصلة بخطوط هي حواف المخطط .
يمكن بالاستعانة بالمخططات حل الكثير من المشاكل العملية. تطبيقات هذه النظرية واسعة جدا و لحل مشاكلها يستخدم الحاسوب بشكل واسع لذلك تهتم علوم الحاسوب بتصميم خوارزميات لنظرية المخططات .

نظرية التعقيد الحسابي
تتعامل مع الموارد المطلوبة في عملية الحوسبة . أكثر هذه الموارد شيوعا هي الزمن (بمعنى كم من الخطوات أو ما يقابلها من الوقت يلزم لحل المسألة ) و المكان (بمعنى ما حجم الذاكرة اللازمة لحل المسألة) ، يمكن أن يدخل بالاعتبار موارد أخرى ، مثل : كم عدد المعالجات المتوازية اللازمة لإنجاز الحساب باستخدام برمجة متوازية .
نظرية التعقيد الحسابي تتعامل مع سؤال كيفية حل المسألة حاسوبيا بفعالية؟