數(shù)理邏輯十二講簡介，目錄書摘
2019-12-27 15:11
來源：京東
作者：京東
數(shù)理邏輯十二講
暫無報價
100+評論
100%好評
編輯推薦:
內容簡介:本書介紹數(shù)理邏輯的基礎知識和基本理論，主要講授命題演算和謂詞演算。通過本課程的學習，學生將掌握相關的基本概念、基本理論、基本推理，以及公理系統(tǒng)和形式化方法。數(shù)理邏輯是以公理系統(tǒng)和數(shù)學證明為研究對象的數(shù)學分支，對信息科學與技術的發(fā)展具有指導作用。本課程為計算機科學的基礎，對培養(yǎng)學生的素養(yǎng)以及提高解決問題的能力有重要的意義。
作者簡介:宋方敏，南京大學計算機科學與技術系教授，博士生導師。主要研究領域是數(shù)理邏輯和量子計算，曾主持國家自然科學基金項目，863項目和中法合作項目的研究，在國內外核心刊物上發(fā)表論文50余篇。在教學上，為本科生主講“離散數(shù)學”和“數(shù)理邏輯”課程，為研究生主講“計算理論”課程。
吳駿，南京大學計算機科學與技術系講師。主要研究領域是邏輯在人工智能中的應用、算法博弈論與機制設計，曾主持及參與國家自然科學基金、科技部重點研發(fā)計劃等多項科研項目，在國內外學術會議與期刊上發(fā)表論文十余篇。在教學上，為本科生主講“數(shù)理邏輯”課程，為研究生主講“智能Agent”課程。
吳駿，南京大學計算機科學與技術系講師。主要研究領域是邏輯在人工智能中的應用、算法博弈論與機制設計，曾主持及參與國家自然科學基金、科技部重點研發(fā)計劃等多項科研項目，在國內外學術會議與期刊上發(fā)表論文十余篇。在教學上，為本科生主講“數(shù)理邏輯”課程，為研究生主講“智能Agent”課程。
目錄:前言
第一講 命題邏輯
第二講 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)邏輯概述
參考文獻
京公網安備 11000002000088號
