中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書更多>
-
>
闖進數(shù)學(xué)世界――探秘歷史名題
-
>
中醫(yī)基礎(chǔ)理論
-
>
當(dāng)代中國政府與政治(新編21世紀(jì)公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫(yī)內(nèi)科學(xué)·全國中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
數(shù)理邏輯十二講 版權(quán)信息
- ISBN：9787111581222
- 條形碼：9787111581222 ; 978-7-111-58122-2
- 裝幀：暫無
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
數(shù)理邏輯十二講 本書特色
本書介紹數(shù)理邏輯的基礎(chǔ)知識和基本理論，主要講授命題演算和謂詞演算。通過本課程的學(xué)習(xí)，學(xué)生將掌握相關(guān)的基本概念、基本理論、基本推理，以及公理系統(tǒng)和形式化方法。數(shù)理邏輯是以公理系統(tǒng)和數(shù)學(xué)證明為研究對象的數(shù)學(xué)分支，對信息科學(xué)與技術(shù)的發(fā)展具有指導(dǎo)作用。本課程為計算機科學(xué)的基礎(chǔ)，對培養(yǎng)學(xué)生的素養(yǎng)以及提高解決問題的能力有重要的意義。
數(shù)理邏輯十二講 內(nèi)容簡介
本書介紹數(shù)理邏輯的基礎(chǔ)知識和基本理論，主要講授命題演算和謂詞演算。通過本課程的學(xué)習(xí)，學(xué)生將掌握相關(guān)的基本概念、基本理論、基本推理，以及公理系統(tǒng)和形式化方法。數(shù)理邏輯是以公理系統(tǒng)和數(shù)學(xué)證明為研究對象的數(shù)學(xué)分支，對信息科學(xué)與技術(shù)的發(fā)展具有指導(dǎo)作用。本課程為計算機科學(xué)的基礎(chǔ)，對培養(yǎng)學(xué)生的素養(yǎng)以及提高解決問題的能力有重要的意義。
數(shù)理邏輯十二講 目錄
前言
**講 命題邏輯
第二講 Boole代數(shù)
第三講 一階邏輯語言
第四講 一階邏輯的自然推理系統(tǒng)
第五講 集合論的公理系統(tǒng)
第六講 完全性定理
第七講 Herbrand定理
第八講 命題邏輯的永真推理系統(tǒng)
第九講 一階邏輯的永真推理系統(tǒng)
第十講 Gentzen的Hauptsatz
第十一講 緊性定理
第十二講 模態(tài)邏輯概述
參考文獻
**講 命題邏輯
第二講 Boole代數(shù)
第三講 一階邏輯語言
第四講 一階邏輯的自然推理系統(tǒng)
第五講 集合論的公理系統(tǒng)
第六講 完全性定理
第七講 Herbrand定理
第八講 命題邏輯的永真推理系統(tǒng)
第九講 一階邏輯的永真推理系統(tǒng)
第十講 Gentzen的Hauptsatz
第十一講 緊性定理
第十二講 模態(tài)邏輯概述
參考文獻
展開全部
數(shù)理邏輯十二講 作者簡介
宋方敏，南京大學(xué)計算機科學(xué)與技術(shù)系教授，博士生導(dǎo)師。主要研究領(lǐng)域是數(shù)理邏輯和量子計算，曾主持國家自然科學(xué)基金項目，863項目和中法合作項目的研究，在國內(nèi)外核心刊物上發(fā)表論文50余篇。在教學(xué)上，為本科生主講“離散數(shù)學(xué)”和“數(shù)理邏輯”課程，為研究生主講“計算理論”課程。
吳駿，南京大學(xué)計算機科學(xué)與技術(shù)系講師。主要研究領(lǐng)域是邏輯在人工智能中的應(yīng)用、算法博弈論與機制設(shè)計，曾主持及參與國家自然科學(xué)基金、科技部重點研發(fā)計劃等多項科研項目，在國內(nèi)外學(xué)術(shù)會議與期刊上發(fā)表論文十余篇。在教學(xué)上，為本科生主講“數(shù)理邏輯”課程，為研究生主講“智能Agent”課程。
書友推薦
- >
上帝之肋:男人的真實旅程
- >
山海經(jīng)
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
龍榆生：詞曲概論/大家小書
- >
回憶愛瑪儂
- >
詩經(jīng)-先民的歌唱
- >
朝聞道
- >
小考拉的故事-套裝共3冊
本類暢銷
