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