A teoría da computación céntrase en responder preguntas fundamentais sobre o que se pode calcular e que cantidade de recursos se requiren para realizar eses cálculos. No esforzo por responder á primeira pregunta, a teoría da computabilidade examina que problemas computacionais son solubles en varios modelos teóricos de computación. A segunda pregunta é abordada pola teoría da complexidade computacional, que estuda os custos de tempo e espazo asociados con diferentes enfoques para resolver unha multitude de problemas computacionais. Pregunta: Cal é a perspectiva de Peter Dennings sobre a ciencia da computación?
"Que se pode automatizar (de forma eficiente)?"