數(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)以及提高解決問題的能力有重要的意義。

　　宋方敏，南京大學(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”課程。