نظریه محاسبه نظریه ای برای بررس ماشین ها و عملکردشان به صورت انتزاعی است. در واقع با بررسی مدل هایی، در تلاش برای بررسی ”توان“ ابزارهای محاسباتی هستیم.

منطق ریاضی یا منطق جدید (Mathematical logic) شاخه‌ای از ریاضیات است که به ارتباط ریاضی و منطق می‌پردازد. نام‌های دیگر آن عبارتند از منطق جدید، منطق صوری، منطق نمادی، منطق نمادین، منطق علامتی، منطق کلاسیک.