тиімді және тұрақты бағдарламалық кешендерді әзірлеу мәселелерімен, алгоритмдер теорияларының практикалық жақтары, бағдарламаларды жобалау (мысалы, спецификация және абстракция практикасы, міндеттерді декомпозициялау және детерминациялау), қателер теориясы және оңтайландыру әдістері және т.б. сияқты бағдарламалаудың барлық аспектілерімен айналысатын пән.