本書在*版的基礎上進行修訂再版，全書共9章，內(nèi)容可分為Boole代數(shù)理論，命題演算與謂詞演算理論，歸結原理理論，多值邏輯的*理論等4部分。同時，在*版的基礎上對“計量邏輯學”，關于一階系統(tǒng)K完備性的證明等諸多內(nèi)容做了補充或改寫。 本書可供計算機專業(yè)、應用數(shù)學專業(yè)、人工智能專業(yè)的研究生與高年級本科生及教師閱讀。

數(shù)學建模優(yōu)秀論文精選

本書作為十二五普通高等教育本科*規(guī)劃教材和普通高等教育十一五*規(guī)劃教材，根據(jù)數(shù)學建模課程的教學和數(shù)學建模競賽培訓活動的實際需要，在第二版的基礎上修訂而成。第三版仍然保持了第二版內(nèi)容系統(tǒng)、方法全面、案例新穎和實用性強的特色，突出體現(xiàn)了廣、淺、新、用的現(xiàn)代應用特點。本書主要內(nèi)容包括幾何分析、集合分析、邏輯分析、微分方程、差

本書是MATLAB數(shù)學建模應用系列書籍之一，以MATLABR2016a軟件版本為基礎，根據(jù)數(shù)學建模的需要編寫，包含了多種數(shù)學建模問題的MATLAB求解方法，是解決數(shù)學實驗和數(shù)學建模的有力工具。 全書共18章，分為前后兩個部分，第1~10章屬于前部分，第11~18章屬于后部分。前部分從MATLAB基礎和數(shù)學建�；�礎知識

本書由一道競賽題引入麥卡錫函數(shù),介紹了麥卡錫函數(shù)與阿克曼函數(shù)的相關內(nèi)容與問題，并同時介紹了莫紹揆數(shù)理邏輯的相關內(nèi)容及其歷史與進展。

本書是作者在新加坡國立大學、北京大學和中國科學院大學為本科高年級學生開設的數(shù)理邏輯選修課和在新加坡國立大學、中國科學院數(shù)學與系統(tǒng)科學研究院為研究生開設的專業(yè)課程所寫講義基礎上整理出來的結果。本書主要由一階邏輯的核心內(nèi)容和有關數(shù)的邏輯探索和分析兩大部分組成，其中包括完備性、緊致性、同質縮小、型省略等基本定理；有關數(shù)的經(jīng)典

數(shù)學實驗課的宗旨是：在教師指導下以學生在計算機上動手、動眼、動腦為主，通過用數(shù)學軟件做實驗，學習解決實際問題常用的數(shù)學方法，并在此基礎上分析、解決經(jīng)過簡化的實際問題，提高學數(shù)學與用數(shù)學的興趣、意識和能力�！稊�(shù)學實驗及典型案例分析》是根據(jù)數(shù)學實驗課程教學和數(shù)學建模競賽培訓的需要，在作者多年從事相關教學和研究工作以及指導數(shù)

本書共分七章，重點講解教學媒體、教學設計、教學技能在數(shù)學學科中的應用方法，具體介紹以信息技術為核心的現(xiàn)代教育信息技術與數(shù)學課程教學整合的方法和學科教學案例的設計與應用，通過實際的教學案例將理論與實際相結合，對教學改革和現(xiàn)代教育信息技術在數(shù)學教學中的應用起到促進和推動作用。

面向計算機科學的數(shù)理邏輯 第二版

本書討論如何撰寫美國大學生數(shù)學建模競賽論文。書中包括兩部分內(nèi)容：一部分是地道的英文內(nèi)容，另一部分為與之對應的中文介紹，這樣安排的目的是培養(yǎng)讀者用英文寫作及思考的習慣，有困難時可以查看中文內(nèi)容；或者先快速了解中文，再看英文表達。主要內(nèi)容包括：簡介、文章結構、文體、英語的用法、數(shù)學符號、數(shù)學表達、圖形和表格、修改實例、寫作