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