منطق محاسباتی و نظریه مدل‌های برنامه‌نویسی