علم الحاسوب, لغات البرمجة, نظرية الحساب, هندسة البرمجياتالقدرة التعبيرية (Expressive Power (Computer Science))