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