作 者:宋方敏,吳駿 編著
定 價:39
出 版 社:機械工業出版社
出版日期:2018年01月01日
頁 數:155
裝 幀:平裝
ISBN:9787111581222
●前言
●第一講命題邏輯
●第二講Boole代數
●第三講一階邏輯語言
●第四講一階邏輯的自然推理繫統
●第五講集合論的公理繫統
●第六講接近性定理
●第七講Herbrand定理
●第八講命題邏輯的永真推理繫統
●第九講一階邏輯的永真推理繫統
●第十講Gentzen的Hauptsatz
●第十一講緊性定理
●第十二講模態邏輯概述
●參考文獻
本書介紹數理邏輯的基礎知識和基本理論，主要講授命題演算和謂詞演算。通過本課程的學習，學生將掌握相關的基本概念、基本理論、基本推理，以及公理繫統和形式化方法。數理邏輯是以公理繫統和數學證明為研究對像的數學分支，對信息科學與技術的發展具有指導作用。本課程為計算機科學的基礎，對培養學生的素養以及提高解決問題的能力有重要的意義。
宋方敏,吳駿 編著
宋方敏，南京大學計算機科學與技術繫教授，博士生導師。主要研究領域是數理邏輯和量子計算，曾主持國家自然科學基金項目，863項目和中法合作項目的研究，在靠前外核心刊物上發表論文50餘篇。在教學上，為本科生主講“離散數學”和“數理邏輯”課程，為研究生主講“計算理論”課程。
吳駿，南京大學計算機科學與技術繫講師。主要研究領域是邏輯在人工智能中的應用、算法博弈論與機制設計，曾主持及參與國家自然科學基金、科技部重點研發計劃等多項科研項目，在靠前外學術會議與期刊上發表論文十餘篇。在教學上，為本科生主講“數理邏輯”課程，為研究生主講“智能Agent”課程。
數理邏輯是用數學研究邏輯推理的一門學科，旨在為推理思維建立數學模型。19世紀中葉，數理邏輯就已作為一門科學存在，在20世紀中葉它得到蓬勃發展，由於Russell、Hilbert和Brouwer代表的三大學派的建立，數理邏輯迎來了一個新時代。1931年Godel“兩個不完備定理”的發表、1933年Tarski關於形式語言中的“真”概念的發表、1934年Herbrand-Godel“一般遞歸函數”概念的發表，以及1936年Turing關於“判定性問題”的論文，使數理邏輯開始了一個更新的時代。 此後數理邏輯對數學基礎、哲學和計算機科學都產生了重大影響。 本書主要介紹命題邏輯和一階邏輯，這是非常重要的基礎理論。為了使學生易學易懂，我們既介紹Gentzen繫統，又介紹Hilbert繫統。然後講解數理邏輯的4個等
