數理邏輯是一門使用數學方法來研究和處理邏輯或形式邏輯的學科。
數理邏輯屬於數學和邏輯學的一箇分支，其研究對象包括對證明和計算這些直觀概念進行符號化後的形式系統。這門學科涵蓋了命題演算、謂詞演算、證明論、遞歸論、模型論和公理化集合論等內容。數理邏輯的研究範圍廣泛，包括推理的有效性、證明的真實性、數學的真理性和計算的可行性等方面。它在電子線路、機器證明、自動化系統、編譯理論、算法設計、自動程序設計、CAD等領域有着廣泛的應用。簡而言之，數理邏輯是現代計算機技術的基礎，對數學研究和工程技術具有重要意義。