數(shù)據庫
課程簡介
課程介紹
數(shù)理邏輯是計算機科學技術的重要數(shù)學基礎之一，本課程是計算機科學技術專業(yè)本科教學中唯一的數(shù)理邏輯課程，主要介紹數(shù)理邏輯的基本理論和形式化技術，為后繼課程奠定必要基礎。主要內容包括：命題邏輯的（標準）形式公理系統(tǒng)（命題語言和形式推導）、語義學和元理論（命題演算的可靠性和完全性）；一階邏輯的（標準）形式公理系統(tǒng)（一階語言和形式推導）、語義學和元理論（一階謂詞演算的可靠性和完全性）；算術的一階理論，遞歸函數(shù)及其可表示性；G?del不完備性定理；以及判定問題。
所屬專業(yè)
數(shù)學
數(shù)學源自于古希臘語，是研究數(shù)量、結構、變化以及空間模型等概念的一門學科。透過抽象化和邏輯推理的使用，由計數(shù)、計算、量度和對物體形狀及運動的觀察中產生。數(shù)學的基本要素是：邏輯和直觀、分析和推理、共性和個性。
需要學習該課程的專業(yè)
課程圖譜
