數(shù)理邏輯十二講

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

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