علم الحاسوب

الحاسوب إينياك، الذي بدأ العمل به في عام 1946، أول جهاز حاسوب إلكتروني للأغراض العامة.

صنف فرعي من	علوم شكلية
يمتهنه	عالم حاسوب، مدرس تكنولوجيا معلومات
فروع	علم الحاسوب النظري، نظرية الحوسبة، ذكاء اصطناعي، هندسة الحاسوب
الموضوع	حاسوب، حوسبة
التاريخ	تاريخ علم الحاسوب
شخصيات مهمة	آلان تورنغ، تشارلز بابيج، جون فون نيومان، آدا لوفلايس

تعديل - تعديل مصدري - تعديل ويكي بيانات

  هذه المقالة عن علم الحاسوب (توضيح). لمعانٍ أخرى، طالع علم الحاسوب (توضيح).

تتعامل علوم الحاسوب مع النظريات الأساسية للمعلومات والحساب، والتقنيات العملية لتنفيذها وتطبيقها.

علم الحاسوب (بالإنجليزية: computer science)‏ أو الإعلامية (بالفرنسية: informatique) هو دراسة للحوسبة وعلم المعلومات والأتمتة.^[1][2][3] ويمتد علم الحاسوب من التخصصات النظرية (مثل الخوارزميات ونظرية الحوسبة ونظرية المعلومات) إلى التخصصات التطبيقية (بما في ذلك تصميم وتنفيذ الأجهزة والبرمجيات).^[4][5][6]

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

ينصب تركيز علوم الحاسوب على تحديد ما يمكن وما لا يمكن أتمتته.^{[2][3][8][9][10]} تعتبر جائزة تورينغ بشكل عام أعلى امتياز في علوم الحاسوب.^[11][12]

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

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

يعود تاريخ أقرب تعريف لعلوم الحاسوب إلى ما قبل أول آلة حاسوب رقمي، لحساب المهام العددية الثابتة مثل المعداد الذي كان موجود منذ العصور القديمة للمساعدة في العمليات الحسابية مثل الضرب والقسمة وبعد ذلك وجدت الخوارزميات لأداء العمليات الحسابية في العصور القديمة وحتى قبل تطوير المعدات الحاسوبية المعقدة، في اللغة السنسكريتية القديمة مخطوطة تسمى "Shulba Sutras" أو قواعد الوتر "Rules of the Chord" وهو كتاب في الخوارزميات مكتوب في سنة 800 قبل الميلاد لبناء الأجسام الهندسية مثل المذابح باستخدام الأوتاد والأوتار وتعتبر بدايات (أسلاف) مجال هندسة الرياضية الحسابية الحديثة.

بليز باسكال صمم وشيد أول آلة حاسبة ميكانيكية العمل، والتي يطلق عليها آلة باسكال الحاسبة سنة (1642).^[15]

ثم كشف غوتفريد لايبنتس آلة حاسبة ميكانيكية الرقمية تسمى حاسوب متدرج (الحاسوب التدريجي) في سنة (1673)،^[16] ويمكن أن يقال أنه يعتبر أول عالم حاسوب، واضع النظريات للمعلومات، ومن بين أسباب أخرى لهذا الترشيح، توثيقه لنظم الأرقام الثنائية.

في عام 1820، أطلق تشارلز توماس «Charles Xavier Thomas أو Thomas de Colmar» صناعة آلة حاسبة ميكانيكية،^{[ملاحظة 1]} عندما صدر له جهاز مبسط يسمى أريثموميتر وكان أول آلة حاسبة قوية بما فيه الكفاية وموثوق بها بما يكفي للاستخدام اليومي في بيئة مكتبية.

تشارلز بابيج بدأ تصميم أول آلة حاسبة ميكانيكية أوتوماتيكية تسمى محرك الفرق في عام 1822، والذي أعطى في نهاية المطاف له فكرة عمل أول آلة حاسبة ميكانيكية للبرمجة وتسمى المحرك التحليلي.^[17] بدأ تطوير هذا الجهاز في عام 1834 وفي أقل من عامين كان قد رسم العديد من السمات البارزة للحاسوب الحديث.^[18] كان اعتماد نظام البطاقة المثقبة المشتقة من منسج جاكارد هي خطوة حاسمة،^[18] مما يجعلها ذات برمجة بلا حدود.^{[ملاحظة 2]}

في عام 1843، أثناء ترجمة مقال فرنسية عن المحرك التحليلي، كتبت آدا لوفلايس في واحدة من العديد من الملاحظات أنها شملت، خوارزمية لحساب أعداد برنولي، والذي يعتبر أول برنامج حاسوب.^[19]

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

في عام 1937، وبعد مئة سنة من حلم باباج المستحيل أقنع هوارد أيكن شركة آي بي إم بتطوير آلته الحاسبة العملاقة للبرمجة، في ذلك الوقت كانت آي بي إم تصنع كل أنواع معدات البطاقات المثقبة وكانت أيضا تقوم بأعمال الآلات الحاسبة.^[20] وأُطْلِق اسم هارفارد مارك واحد عليها وكانت بناء على المحرك التحليلي الخاص بتشارلز بابيج، وكانت تستخدم الكروت المثقوبة ووحدة الحوسبة المركزية، وعندما تمت الآلة النهائية أشاد البعض بأن «حلم باباج تحقق».^[21]

خلال الأربعينيات من القرن الماضي ومع تطور آلات حاسوب أقوى،^[22] وبدى واضحا أن الحاسوب يمكن أن يستخدم في أكثر من الحسابات الرياضية فقط، مجال علوم الحاسب توسع ليشمل الحوسبة بشكل عام، تم وضع إنشاء علوم الحاسب كعلم أكاديمي مستقل في الخمسينيات وأوائل الستينيات من القرن الماضي.^[23][24]

على الرغم من اقتراحه لأول مرة في عام 1956.^[25] ظهر مصطلح ”علم الحاسوب“ في مقال نُشر عام 1959 في المجلة الشهرية لاتصالات جمعية آلات الحوسبة.^[26] الذي يدعو فيه لويس فين إلى إنشاء كلية للدراسات العليا في علوم الحاسب الآلي على غرار إنشاء كلية هارفارد للأعمال عام 1921.^[27] ويبرر لويس التسمية بالقول إن هذا الموضوع، مثل علم الإدارة، هو موضوع تطبيقي ومتعدد التخصصات بطبيعته، بينما يتسم بالخصائص النموذجية للتخصص الأكاديمي.^[26] وقد تكللت جهوده وجهود آخرين مثل المحلل العددي جورج فورسيث بالنجاح: فقد استمرت الجامعات في إنشاء مثل هذه الأقسام، بدءًا من جامعة بوردو في عام 1962.^[28] على الرغم من اسمه، فإن قدرًا كبيرًا من علم الحاسوب لا يتضمن دراسة الحواسيب نفسها. ولهذا السبب، تم اقتراح العديد من الأسماء البديلة.^[29] تفضل بعض الأقسام في الجامعات الكبرى مصطلح علم الحوسبة، للتأكيد على هذا الاختلاف بالتحديد. اقترح العالم الدنماركي بيتر ناور مصطلح علم البيانات (داتالوجي - datalogy),^[30] ليعكس حقيقة أن هذا التخصص العلمي يدور حول البيانات ومعالجة البيانات، في حين أنه لا يشمل بالضرورة أجهزة الكمبيوتر. كانت أول مؤسسة علمية تستخدم المصطلح هي قسم علم البيانات في جامعة كوبنهاغن، الذي تأسس في عام 1969، وكان بيتر ناور أول أستاذ في علم البيانات. ويستخدم المصطلح بشكل رئيسي في الدول الاسكندنافية. وهناك مصطلح بديل، اقترحه ناور أيضًا، هو علم البيانات؛ ويستخدم هذا المصطلح الآن لمجال متعدد التخصصات لتحليل البيانات، بما في ذلك الإحصاءات وقواعد البيانات.

في الأيام الأولى للحوسبة، تم اقتراح عدد من المصطلحات للممارسين في مجال الحوسبة في مجلة المجلة الشهرية لاتصالات جمعية آلات الحوسبة—عالِم تورينج وعالِم التورولوجيا، وعالِم المخططات الانسيابية، وعالِم الرياضيات التطبيقية، وعالِم المعرفة التطبيقية.^[31] وبعد ثلاثة أشهر في نفس المجلة، اقتُرح في المجلة نفسها اسم ”عالم الكومبتولوجي“، وتبعه في العام التالي اسم ”عالم الهيبولوجي“.^[32] كما تم اقتراح مصطلح الحوسبة أيضاً.^[33] في أوروبا، المصطلحات المستمدة من الترجمات المتعاقد عليها لتعبير ”المعلومات التلقائية“ (أمثلة : "informazione automatica" بالإطالية) أو informatique (فرنسية), Informatik (الألمانية), informatica (الإيطالية, الهولندية) informática (الإسبانية, البرتغالية) informatika (اللغات السلافية والهنغارية) pliroforiki (πληροφορική التي تعني المعلوميات) باليونانية. كما تم اعتماد كلمات مماثلة في المملكة المتحدة (كما هو الحال في كلية المعلوماتية، جامعة إدنبرة).^[34] ”لكن في الولايات المتحدة، ترتبط المعلوماتية مع الحوسبة التطبيقية، أو الحوسبة في سياق مجال آخر.“^[35]

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

يعتبر البعض أن علم الحاسوب له علاقة أوثق بكثير مع الرياضيات من العديد من التخصصات العلمية، حيث يقول بعض المراقبين أن الحوسبة علم رياضي.^[36] تأثرت علوم الحاسوب المبكرة بشدة بأعمال علماء الرياضيات مثل كورت غودل وألان تورينغ وجون فون نيومان وروزا بيتر وألونزو تشرتش، ولا يزال هناك تبادل مفيد للأفكار بين المجالين في مجالات مثل المنطق الرياضي ونظرية الفئات ونظرية المجال والجبر.^[37]

إن العلاقة بين علم الحاسوب وهندسة البرمجيات مسألة مثيرة للجدل، ويزيد من تعقيدها الخلافات حول معنى مصطلح ”هندسة البرمجيات“، وكيفية تعريف علم الحاسوب.^[38] ادعى ديفيد بارناس، مستلهمًا العلاقة بين تخصصات الهندسة والعلوم الأخرى، أن التركيز الرئيسي لعلوم الحاسوب هو دراسة خصائص الحوسبة بشكل عام، بينما التركيز الرئيسي لهندسة البرمجيات هو تصميم عمليات حسابية محددة لتحقيق أهداف عملية، مما يجعل التخصصين منفصلين ولكنهما متكاملين.^[39]

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

على الرغم من وجود كلمة علم في اسمه، هناك جدل حول ما إذا كان علم الحاسوب هو أحد فروع العلوم,^[40] أو الرياضيات,^[41] أو الهندسة أم لا. جادل ألن نيويل وهيربرت سيمون في عام 1975,

علم الحاسوب هو تخصص تجريبي. كنا سنسميه علمًا تجريبيًا، ولكن مثل علم الفلك والاقتصاد والجيولوجيا، فإن بعض أشكاله الفريدة من الملاحظة والتجربة لا تتناسب مع الصورة النمطية الضيقة للمنهج التجريبي. ومع ذلك، فهي تجارب. فكل آلة جديدة يتم بناؤها هي تجربة. إن بناء الآلة في الواقع يطرح سؤالاً على الطبيعة؛ ونحن نستمع إلى الإجابة من خلال مراقبة الآلة أثناء تشغيلها وتحليلها بكل وسائل التحليل والقياس المتاحة.^[42]

وقد قيل منذ ذلك الحين أنه يمكن تصنيف علم الحاسوب كعلم تجريبي لأنه يستخدم الاختبار التجريبي لتقييم صحة البرامج، ولكن تبقى مشكلة في تحديد قوانين ونظريات علم الحاسوب (إن وجدت) وتحديد طبيعة التجارب في علم الحاسوب.^[42] يجادل مؤيدو تصنيف علم الحاسوب كتخصص هندسي بأن موثوقية الأنظمة الحاسوبية يتم التحقيق فيها بنفس الطريقة التي يتم بها التحقيق في الجسور في الهندسة المدنية والطائرات في هندسة الطيران.^[42] ويقولون أيضًا أنه في حين أن العلوم التجريبية تلاحظ ما هو موجود حاليًا، فإن علم الحاسوب يلاحظ ما يمكن أن يوجد، وبينما يكتشف العلماء القوانين من الملاحظة، لم يتم العثور على قوانين مناسبة في علم الحاسوب وهو يهتم بدلًا من ذلك بخلق الظواهر.^[42]

يجادل مؤيدو تصنيف علم الحاسوب كتخصص رياضي بأن برامج الحاسوب هي تجسيدات مادية للكيانات والبرامج الرياضية التي يمكن استنباطها من خلال رياضيات الطرق الشكلية.^[42] ينظر عالما الحاسوب أيدسكر دايكسترا وتوني هور إلى تعليمات برامج الحاسوب على أنها جمل رياضية، ويفسران الدلالات الرسمية للغات البرمجة على أنها أنظمة بديهية رياضية.^[42]

جادل عدد من علماء الحاسوب بالتمييز بين ثلاثة نماذج منفصلة في علم الحاسوب. جادل بيتر ويجنر بأن هذه النماذج هي العلم والتكنولوجيا والرياضيات.^[43] وجادل فريق عمل بيتر دينينغ بأنها النظرية والتجريد (النمذجة) والتصميم.^[36] ووصفهم أمنون هـ. إيدن بأنهم ”النموذج العقلاني“ (الذي يتعامل مع علم الحاسوب كفرع من فروع الرياضيات، وهو السائد في علم الحاسوب النظري، ويستخدم بشكل أساسي الاستنباط)، و”النموذج التكنوقراطي“ (الذي قد يوجد في المناهج الهندسية، وأبرزها في هندسة البرمجيات)، و”النموذج العلمي“ (الذي يقارب المصنوعات المتعلقة بالحاسوب من المنظور التجريبي للعلوم الطبيعية،^[44] ويمكن تحديده في بعض فروع الذكاء الاصطناعي).^[45] يركّز علم الحاسوب على الأساليب المتبعة في تصميم أنظمة الحوسبة التي يصنعها الإنسان وتحديد مواصفاتها وبرمجتها والتحقق منها وتنفيذها واختبارها.^[46]

كعلم، يمتد علوم الحاسوب إلى مجموعة من الموضوعات من الدراسات النظرية للخوارزميات وحدود الحساب إلى المسائل العملية لتنفيذ أنظمة الحوسبة في الأجهزة والبرامج.^[47][48] تحدد CSAB، التي كانت تُسمى سابقًا مجلس اعتماد علوم الحوسبة -والذي يتكون من ممثلين عن جمعية آلات الحوسبة (ACM)، وجمعية IEEE للكمبيوتر (IEEE CS)-^[49] أربعة مجالات تعتبرها حاسمة في مجال علوم الحاسوب: نظرية الحوسبة والخوارزميات وهياكل البيانات ومنهجية البرمجة واللغات وعناصر الحاسوب وبنى البيانات. بالإضافة إلى هذه المجالات الأربعة، يحدد CSAB أيضًا مجالات مثل هندسة البرمجيات والذكاء الاصطناعي وشبكات الحاسوب والاتصالات وأنظمة قواعد البيانات والحساب المتوازي والحساب الموزع والتفاعل بين الإنسان والحاسوب ورسوميات الحاسوب وأنظمة التشغيل والحساب الرقمي والرمزي مثل كونها مجالات مهمة في علوم الحاسوب.^[47]

علوم الحاسوب النظرية هي رياضيات وتجريدية في الروح، ولكنها تستمد دوافعها من الحساب العملي واليومي. الهدف منه هو فهم طبيعة الحساب، ونتيجة لهذا الفهم، توفير منهجيات أكثر كفاءة. يمكن اعتبار جميع الدراسات المتعلقة بالمفاهيم والطرق الرياضية والمنطقية والرسمية بمثابة علوم الحاسوب النظرية، شريطة أن يكون الدافع مستمدًا بوضوح من مجال الحوسبة.

وفقًا لبيتر دينينج، فإن السؤال الأساسي الذي يكمن وراء علوم الحاسوب هو «ما الذي يمكن أن يكون آلياً (بكفاءة)؟»^[50] تركز نظرية الحوسبة على الإجابة على الأسئلة الأساسية حول ما يمكن حسابه وما مقدار الموارد اللازمة لأداء تلك الحسابات. في محاولة للإجابة على السؤال الأول، تدرس نظرية الحوسبة المشكلات الحسابية التي يمكن حلها في النماذج النظرية المختلفة للحساب. يتم تناول السؤال الثاني من خلال نظرية التعقيد الحسابي، والتي تدرس تكاليف الوقت والمكان المرتبطة بمناهج مختلفة لحل العديد من المشكلات الحسابية.

فمسألة "P = NP" الشهيرة(مسألة كثير حدود وكثير حدود غير قطعي)، واحدة من مسائل جائزة الألفية،^[51] هي مسألة مفتوحة في نظرية الحساب.

		P = NP؟
نظرية التشغيل الذاتي	نظرية الحاسوبية	نظرية التعقيد الحسابي	علم التعمية	نظرية الحساب الكمومي

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

هياكل البيانات والخوارزميات هي دراسة الطرق الحسابية الشائعة الاستخدام وكفاءتها الحسابية.

O(n2)
تحليل الخوارزميات	الخوارزميات	بنية البيانات	استمثال توافقي	هندسة رياضية حاسوبية

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

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

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

${\displaystyle \Gamma \vdash x:{\text{Int}}}$
نظرية النمط	محول برمجي	لغة برمجة

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

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

الحوسبة العلمية (أو العلوم الحاسوبية) هي مجال الدراسة المعني ببناء النماذج الرياضية وتقنيات التحليل الكمي واستخدام أجهزة الحاسوب لتحليل وحل المشكلات العلمية. في الاستخدام العملي، عادة ما يكون تطبيق محاكاة الحاسوب وأشكال الحساب الأخرى للمشاكل في مختلف التخصصات العلمية. بما في ذلك ديناميكيات الموائع الحسابية، والأنظمة والدوائر الفيزيائية والكهربائية والإلكترونية، بالإضافة إلى المجتمعات والأوضاع الاجتماعية (لا سيما الألعاب الحربية) إلى جانب بيئاتها، وغيرها الكثير. تتيح الحواسيب الحديثة تحسين التصاميم مثل الطائرات الكاملة. ومن البرامج البارزة في تصميم الدوائر الكهربائية والإلكترونية برنامج SPICE،^[53] بالإضافة إلى برمجيات التنفيذ المادي للتصاميم الجديدة (أو المعدلة). وتشمل هذه الأخيرة برامج التصميم الأساسية للدوائر المتكاملة.^[54]

تحليل عددي	فيزياء حاسوبية	كيمياء حاسوبية	معلوماتية حيوية

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

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

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

تعلم الآلة	رؤية حاسوبية	معالجة الصور الرقمية
تمييز الأنماط	تنقيب في البيانات	الحوسبة التطورية
تمثيل المعرفة	معالجة اللغات الطبيعية	روبوتية

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

جبر بولياني	البنية الدقيقة	معالجة متعددة
حوسبة سائدة	هندسة الأنظمة	نظام تشغيل

يُعدّ التزامن خاصية للأنظمة التي يتم فيها تنفيذ العديد من العمليات الحسابية في وقت واحد، ومن المحتمل أن تتفاعل مع بعضها البعض.^[56] وقد تم تطوير عدد من النماذج الرياضية للحوسبة المتزامنة العامة بما في ذلك شبكات بيتري وحسابات العمليات ونموذج آلة الوصول العشوائي المتوازية.^[57] عندما يتم توصيل عدة أجهزة كمبيوتر في شبكة أثناء استخدام التزامن، يُعرف ذلك بالنظام الموزع. تمتلك أجهزة الكمبيوتر داخل هذا النظام الموزع ذاكرة خاصة بها، ويمكن تبادل المعلومات لتحقيق أهداف مشتركة.^[58]

يهدف هذا الفرع من علوم الحاسوب إلى إدارة الشبكات بين أجهزة الحاسوب في جميع أنحاء العالم.

أمن الحاسوب هو فرع من فروع تكنولوجيا الحاسوب يهدف إلى حماية المعلومات من الوصول غير المصرح به أو تعطيلها أو تعديلها مع الحفاظ على إمكانية الوصول إلى النظام وسهولة استخدامه للمستخدمين المستهدفين.

التشفير التاريخي هو فن كتابة الرسائل السرية وفك رموزها. التشفير الحديث هو الدراسة العلمية للمشاكل المتعلقة بالحسابات الموزعة التي يمكن مهاجمتها. تشمل التقنيات التي تتم دراستها في علم التشفير الحديث التشفير المتماثل وغير المتماثل، والتوقيعات الرقمية، ودوال التجزئة التشفيرية، وبروتوكولات الاتفاق على المفاتيح، وسلسلة الكتل، والإثبات بلا كشف، والدوائر المشوشة.

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

تحليل أداء الحاسوب هو دراسة العمل المتدفق عبر أجهزة الحاسوب مع الأهداف العامة لتحسين الإنتاجية، والتحكم في وقت الاستجابة، واستخدام الموارد بكفاءة، والقضاء على الاختناقات، والتنبؤ بالأداء في ظل ذروة الأحمال المتوقعة.^[59] توفر المقاييس طريقة لمقارنة أداء الأنظمة الفرعية المختلفة عبر أبنية شرائح أنظمة مختلفة.

أشار فيلسوف الحوسبة بيل رابابورت إلى ثلاث رؤى عظيمة لعلوم الحاسوب:^[60]

• رؤية غوتفريد لايبنتس وجورج بول وألان تورينج وكلود شانون وصموئيل مورس: هناك شيئان فقط على الحاسوب التعامل معهما ليمثّل "أي شيء". يمكن تمثيل جميع المعلومات حول أي مشكلة قابلة للحوسبة باستخدام 0 و1 فقط (أو أي زوج آخر قابل للتبديل بين حالتين يمكن تمييزهما بسهولة، مثل "تشغيل/إيقاف"، "ممغنط/غير ممغنط"، "جهد عالي/جهد منخفض"، إلخ).

• فكرة آلان تورينج: هناك خمسة إجراءات فقط يجب على الكمبيوتر القيام بها من أجل القيام "بأي شيء". يمكن التعبير عن أي خوارزمية بلغة للكمبيوتر تتكون من خمسة تعليمات أساسية فقط:
  • تحرك لليسار موقع واحد.
  • تحرك لليمين موقع واحد.
  • اقرأ الرمز في الموقع الحالي.
  • اطبع 0 في الموقع الحالي.
  • اطبع 1 في الموقع الحالي.

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

يدرس طلاب علم الحاسوب العديد من مجالات الرياضيات مثل حساب التفاضل والتكامل، الجبر الخطي، والمعادلات التفاضلية. علم الرياضيات أساسي جدا في كتابة البرامج وفي لغات البرمجة. النظريات والتطبيقات الرياضية التي يدرسها الطلاب مهمة في فهم طريقة معالجة الحاسوب للمعلومات. بالإضافة إلى ذلك، يدرس الطلاب العديد من لغات البرمجة مثل java وPython. يدرس أيضا الطلاب القليل من الدارات الإلكترونية وطريقة عملها. يدرس الطلاب الخوارزميات خلال السنة الثالثة والرابعة. مشروع التخرج مهم للغاية في نهاية السنة الأخيرة.^[61][62]

في العديد من البلدان، هناك فجوة كبيرة بين الجنسين في تعليم علوم الحاسوب. في عام 2012، تم منح 20% فقط من شهادات علوم الحاسوب في الولايات المتحدة للنساء.^[63] الفجوة بين الجنسين هي أيضا مشكلة في البلدان الغربية الأخرى. الفجوة أصغر أو غير موجودة في بعض أنحاء العالم.^[64] في عام 2011، حصلت النساء على نصف شهادات علوم الحاسوب في ماليزيا.^[65] في عام 2001، كان 55% من خريجي علوم الحاسوب في غيانا من النساء.^[64]

ملاحظات

• مجلة المعلوماتية، تصدر عن الجمعية العلمية السورية للمعلوماتية.