Gade nan pasaj ki anba a epi reponn kesyon an apre sa nan menm lang ak pasaj la: Pasaj: Dapre Peter Denning, kesyon fondamantal ki baze sou syans òdinatè se, "Ki sa ki ka (efikas) otomatize?" Teyori nan informatique se konsantre sou reponn kesyon fondamantal sou sa ki ka kalkile ak ki kantite resous yo mande yo fè sa yo kalkil. Nan yon efò pou reponn premye kesyon an, teyori computability egzamine ki pwoblèm informatique yo rezoud sou divès modèl teyorik nan informatique. Dezyèm kesyon an adrese pa teyori konpleksite informatique, ki etidye tan an ak depans espas ki asosye ak apwòch diferan nan rezoud yon foul moun nan pwoblèm informatique. Kesyon: Ki sa ki se pèspektiv Peter Dennings sou syans òdinatè?
"Ki sa ki ka (efisyan) otomatize?"