邏輯定理的機(jī)器證明是人工智能領(lǐng)域人們最早從事研究的課題。本書(shū)從邏輯定理的人工證明和機(jī)器證明兩方面來(lái)展現(xiàn)邏輯定理證明的藝術(shù)，而機(jī)器證明又從定理的自動(dòng)證明和計(jì)算機(jī)輔助證明兩個(gè)方面來(lái)展現(xiàn)。本書(shū)首先用作者構(gòu)造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機(jī)器證明工具
本書(shū)在H.M.Sheffer和張清宇先生等人工作的基礎(chǔ)上，提出了一種創(chuàng)新型的邏輯符號(hào)表示法——中國(guó)表示法。在其中僅僅使用一對(duì)括號(hào)，就可以在一個(gè)公式中同時(shí)表示出所有的命題聯(lián)結(jié)詞、量詞、模態(tài)詞和時(shí)態(tài)詞等邏輯常項(xiàng)，由此可以極大地簡(jiǎn)化構(gòu)建邏輯系統(tǒng)所需的初始聯(lián)結(jié)詞。本書(shū)闡述了中國(guó)表示法區(qū)別于其他表示法的整體性特征，證明了中國(guó)表示
本書(shū)是一本講述增強(qiáng)現(xiàn)實(shí)基本原理和算法的教材。全書(shū)共分為11章。首先介紹增強(qiáng)現(xiàn)實(shí)基本模型和原理、空間變換與相機(jī)模型。然后介紹增強(qiáng)現(xiàn)實(shí)所必需的空間注冊(cè)與跟蹤算法，包括基于平面標(biāo)志的方法、基于3D點(diǎn)跟蹤的方法、視頻序列跟蹤及有限重建方法等。在此基礎(chǔ)上，講解了增強(qiáng)現(xiàn)實(shí)中的虛實(shí)融合技術(shù)和空間增強(qiáng)現(xiàn)實(shí)技術(shù)，包括虛擬物體的繪制、虛實(shí)
本書(shū)從數(shù)學(xué)建模的角度介紹了MATLAB的應(yīng)用，涵蓋了絕大部分?jǐn)?shù)學(xué)建模問(wèn)題的MATLAB求解方法。全書(shū)共5篇。第一篇是基礎(chǔ)篇，主要介紹一些基本概念和知識(shí)，包括MATLAB在數(shù)學(xué)建模中的地位、數(shù)學(xué)模型的分類(lèi)及各類(lèi)需要用的MATLAB技術(shù)，以及MATLAB編程入門(mén)；第二篇是技術(shù)篇，系統(tǒng)介紹MATLAB建模的主流技術(shù)，包括數(shù)據(jù)
本書(shū)選編了20162021年北京理工大學(xué)學(xué)生參加全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽獲全國(guó)一、二等獎(jiǎng)及北京市一等獎(jiǎng)的部分比賽論文。本書(shū)對(duì)參賽論文全文刊登，未作刪節(jié)，所有細(xì)節(jié)和詳細(xì)計(jì)算過(guò)程均予以保留，適合廣大學(xué)習(xí)數(shù)學(xué)建模及初次參賽的高校學(xué)生參考。
本書(shū)是Fred等三個(gè)美國(guó)流行病學(xué)模型專(zhuān)家、數(shù)學(xué)家合著的MathematicalModelsinEpidemiology一書(shū)的中譯本。內(nèi)容分流行病學(xué)的基本概念（包括各種類(lèi)型的倉(cāng)室模型、地方病模型、流行病模型、異質(zhì)混合模型、媒介傳播的疾病模型）,特殊疾病的模型（包括結(jié)核病模型、艾滋病病毒/艾滋�。℉IV/AIDS）模型、流
本書(shū)以數(shù)理邏輯和算法理論的進(jìn)化為主線，并結(jié)合計(jì)算機(jī)與人工智能學(xué)科的發(fā)展為其主要特色進(jìn)行論述。本書(shū)共分8章，主要內(nèi)容包括算法化和公理化矛盾統(tǒng)一的數(shù)學(xué)史觀，邏輯的數(shù)學(xué)化，集合論公理化，數(shù)學(xué)基礎(chǔ)問(wèn)題三大派之爭(zhēng)，數(shù)理邏輯主要內(nèi)容的形成，丘奇-圖靈論題的創(chuàng)立和計(jì)算機(jī)的出現(xiàn)，計(jì)算機(jī)科學(xué)與算法，人工智能與算法。其中后兩章介紹了計(jì)算機(jī)
本書(shū)主要介紹數(shù)學(xué)建模中常用的方法，并將西安電子科技大學(xué)學(xué)生近年來(lái)在全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽中的獲獎(jiǎng)作品作為案例來(lái)闡明這些方法在數(shù)學(xué)建模中的具體應(yīng)用。本書(shū)共分為8章，第1章簡(jiǎn)單介紹數(shù)學(xué)模型的概念、建立數(shù)學(xué)模型的步驟，以及數(shù)學(xué)建模競(jìng)賽；第2章介紹數(shù)學(xué)建模中常用的TOPSIS評(píng)價(jià)法、層次分析法、模糊綜合評(píng)價(jià)法等評(píng)價(jià)方法；第3章
《數(shù)學(xué)建模簡(jiǎn)明教程（第2版）》側(cè)重?cái)?shù)學(xué)建模知識(shí)的了解和數(shù)學(xué)建模能力及意識(shí)的培養(yǎng)，案例豐富，由淺入深，便于學(xué)生自學(xué)和教師教學(xué)。本著簡(jiǎn)明、實(shí)用和有趣的原則，書(shū)中的內(nèi)容主要以初、中等難度數(shù)學(xué)建模問(wèn)題為主，以求達(dá)到降低數(shù)學(xué)建模學(xué)習(xí)起點(diǎn)、實(shí)用和通俗易懂的目的。讀者只要學(xué)過(guò)微積分、線性代數(shù)和了解簡(jiǎn)單的概率統(tǒng)計(jì)知識(shí)就可以學(xué)習(xí)本書(shū)。特
本書(shū)是在2015年科學(xué)出版社出版的《數(shù)學(xué)模型及其應(yīng)用》（第二版）基礎(chǔ)上吸取了讀者和專(zhuān)家的意見(jiàn)修訂而成。本書(shū)主要內(nèi)容有緒論、初等模型、方程模型、預(yù)測(cè)模型、評(píng)價(jià)模型、優(yōu)化模型、圖論模型、概率模型、統(tǒng)計(jì)模型、高教社杯全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽真題等，每章后附相關(guān)習(xí)題，部分章后附有常用詞匯中英文對(duì)照。本書(shū)完成教學(xué)約需40～60學(xué)時(shí)
書(shū)單推薦 新書(shū)推薦
