Теоретичною основою програмування є галузь комп'ютерних наук (Computer Science), яка включає в себе такі напрямки як комп'ютерна архітектура, операційні системи, алгоритми, бази даних, комп'ютерні мережі, штучний інтелект та деякі інші.