All studies related to mathematical, logic and formal concepts and methods could be considered as theoretical computer science, provided that the motivation is clearly drawn from the field of computing.
Të gjitha studimet që lidhen me konceptet dhe metodat matematikore, logjike dhe formale mund të konsiderohen si shkenca kompjuterike teorike, me kusht që motivimi të nxirret qartë nga fusha e informatikës .