കണക്കുകൂട്ടൽ സിദ്ധാന്തം
അൽഗോരിതം, കമ്പ്യൂട്ടബിലിറ്റി സിദ്ധാന്തം എന്നിവയുടെ വിശകലനമാണ് സൈദ്ധാന്തിക കമ്പ്യൂട്ടർ ശാസ്ത്രവുമായി അടുത്ത ബന്ധമുള്ള മേഖലകൾ.
ഒരു പ്രശ്നം അൽഗോരിതം ഉപയോഗിച്ച് ആത്യന്തികമായി പരിഹരിക്കാൻ കഴിയുമോ ഇല്ലയോ എന്ന് നിർണ്ണയിക്കുന്നതിൽ കമ്പ്യൂട്ടർ ശാസ്ത്രത്തിന്റെ ഏത് മേഖലയാണ് പ്രധാനമായും ശ്രദ്ധ ചെലുത്തുന്നത്?