數(shù)理邏輯十二講

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

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