Sayansi ya tarakilishi
Sayansi ya Kompyuta ya Kinadharia ni ya kihisabati na dhahania katika roho, lakini inapata motisha yake kutoka kwa hesabu ya vitendo na ya kila siku. Kusudi lake ni kuelewa asili ya hesabu na, kama matokeo ya ufahamu huu, kutoa mbinu bora zaidi.