البرمجة, الدوائر الرقمية, المنطق الرياضي, علوم الحاسوب, نظرية الحوسبةالكمال الوظيفي (Functional Completeness)