注冊 | 登錄讀書好,好讀書,讀好書!
讀書網-DuShu.com
當前位置: 首頁出版圖書科學技術自然科學數(shù)學數(shù)理邏輯十二講

數(shù)理邏輯十二講

數(shù)理邏輯十二講

定 價:¥39.00

作 者: 宋方敏,吳駿 著
出版社: 機械工業(yè)出版社
叢編項: 面向CS2013計算機專業(yè)規(guī)劃教材
標 簽: 教材 理學 研究生/本科/??平滩?/td>

購買這本書可以去


ISBN: 9787111581222 出版時間: 2017-12-01 包裝: 平裝
開本: 16開 頁數(shù): 155 字數(shù):  

內容簡介

  本書介紹數(shù)理邏輯的基礎知識和基本理論,主要講授命題演算和謂詞演算。通過本課程的學習,學生將掌握相關的基本概念、基本理論、基本推理,以及公理系統(tǒng)和形式化方法。數(shù)理邏輯是以公理系統(tǒng)和數(shù)學證明為研究對象的數(shù)學分支,對信息科學與技術的發(fā)展具有指導作用。本課程為計算機科學的基礎,對培養(yǎng)學生的素養(yǎng)以及提高解決問題的能力有重要的意義。

作者簡介

  宋方敏,南京大學計算機科學與技術系教授,博士生導師。主要研究領域是數(shù)理邏輯和量子計算,曾主持國家自然科學基金項目,863項目和中法合作項目的研究,在國內外核心刊物上發(fā)表論文50余篇。在教學上,為本科生主講“離散數(shù)學”和“數(shù)理邏輯”課程,為研究生主講“計算理論”課程。吳駿,南京大學計算機科學與技術系講師。主要研究領域是邏輯在人工智能中的應用、算法博弈論與機制設計,曾主持及參與國家自然科學基金、科技部重點研發(fā)計劃等多項科研項目,在國內外學術會議與期刊上發(fā)表論文十余篇。在教學上,為本科生主講“數(shù)理邏輯”課程,為研究生主講“智能Agent”課程。

圖書目錄

前言
第一講 命題邏輯
第二講 Boole代數(shù)
第三講 一階邏輯語言
第四講 一階邏輯的自然推理系統(tǒng)
第五講 集合論的公理系統(tǒng)
第六講 完全性定理
第七講 Herbrand定理
第八講 命題邏輯的永真推理系統(tǒng)
第九講 一階邏輯的永真推理系統(tǒng)
第十講 Gentzen的Hauptsatz
第十一講 緊性定理
第十二講 模態(tài)邏輯概述
參考文獻

本目錄推薦

掃描二維碼
Copyright ? 讀書網 ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網安備 42010302001612號