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