《數理邏輯十二講》是2019年4月機械工業出版社出版的圖書，作者是宋方敏、吳駿。
基本介紹
- 中文名：數理邏輯十二講
- 作者：宋方敏、吳駿
- 出版社：機械工業出版社
- 出版時間：2019年4月
- 定價：39 元
- 開本：16 開
- ISBN：9787111581222
內容簡介,圖書目錄,
內容簡介
本書介紹數理邏輯的基礎知識和基本理論，主要講授命題演算和謂詞演算。通過本課程的學習，學生將掌握相關的基本概念、基本理論、基本推理，以及公理系統和形式化方法。數理邏輯是以公理系統和數學證明為研究對象的數學分支，對信息科學與技術的發展具有指導作用。本課程為計算機科學的基礎，對培養學生的素養以及提高解決問題的能力有重要的意義。
圖書目錄
前言
第一講 命題邏輯
第二講 Boole代數
第三講 一階邏輯語言
第四講 一階語言的語義
第五講 G?del編碼、替換引理及Hintikka集
第六講 自然推理系統G
第七講 G系統的上層理論
第八講 集合論的公理系統
第九講 完全性定理
第十講 Herbrand定理
第十一講 命題邏輯的永真推理系統
第十二講 一階邏輯的永真推理系統
第十三講 Gentzen的Hauptsatz
第十四講 緊性定理
第十五講 模態邏輯概述
參考文獻
