لإنجاز دراسة منهجية للتحسيب، يشكل علماء الحاسوب نماذج رياضية مجردة من الحواسيب تدعى نموذج التحسيب model of computation.
"In order to perform a rigorous study of computation, computer scientists work with a mathematical abstraction of computers called a model of computation.