本書主要介紹了兒童數(shù)學(xué)建模的選題、開題、做題、結(jié)題，精選了11個兒童數(shù)學(xué)建模的案例，詳細(xì)介紹了兒童如何開展數(shù)學(xué)建模的過程。主要內(nèi)容包括：兒童數(shù)學(xué)建模的選題；兒童數(shù)學(xué)建模的開題；兒童數(shù)學(xué)建模的做題等。

本書系統(tǒng)介紹了數(shù)學(xué)建模的理論知識和求解方法，結(jié)合典型實例全面闡述了數(shù)學(xué)建模解決實際問題的基本過程。內(nèi)容涵蓋了數(shù)學(xué)建模課程中的一些基本方法和基本模型，包括插值與擬合、線性規(guī)劃、整數(shù)規(guī)劃與非線性規(guī)劃、常微分方程與差分方程模型、概率統(tǒng)計模型、圖論與網(wǎng)絡(luò)優(yōu)化、綜合評價與決策模型等。

邏輯定理的機(jī)器證明是人工智能領(lǐng)域人們最早從事研究的課題。本書從邏輯定理的人工證明和機(jī)器證明兩方面來展現(xiàn)邏輯定理證明的藝術(shù)，而機(jī)器證明又從定理的自動證明和計算機(jī)輔助證明兩個方面來展現(xiàn)。本書首先用作者構(gòu)造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機(jī)器證明工具

本書在H.M.Sheffer和張清宇先生等人工作的基礎(chǔ)上，提出了一種創(chuàng)新型的邏輯符號表示法——中國表示法。在其中僅僅使用一對括號，就可以在一個公式中同時表示出所有的命題聯(lián)結(jié)詞、量詞、模態(tài)詞和時態(tài)詞等邏輯常項，由此可以極大地簡化構(gòu)建邏輯系統(tǒng)所需的初始聯(lián)結(jié)詞。本書闡述了中國表示法區(qū)別于其他表示法的整體性特征，證明了中國表示

本書是一本講述增強(qiáng)現(xiàn)實基本原理和算法的教材。全書共分為11章。首先介紹增強(qiáng)現(xiàn)實基本模型和原理、空間變換與相機(jī)模型。然后介紹增強(qiáng)現(xiàn)實所必需的空間注冊與跟蹤算法，包括基于平面標(biāo)志的方法、基于3D點(diǎn)跟蹤的方法、視頻序列跟蹤及有限重建方法等。在此基礎(chǔ)上，講解了增強(qiáng)現(xiàn)實中的虛實融合技術(shù)和空間增強(qiáng)現(xiàn)實技術(shù)，包括虛擬物體的繪制、虛實

本書從數(shù)學(xué)建模的角度介紹了MATLAB的應(yīng)用，涵蓋了絕大部分?jǐn)?shù)學(xué)建模問題的MATLAB求解方法。全書共5篇。第一篇是基礎(chǔ)篇，主要介紹一些基本概念和知識，包括MATLAB在數(shù)學(xué)建模中的地位、數(shù)學(xué)模型的分類及各類需要用的MATLAB技術(shù)，以及MATLAB編程入門；第二篇是技術(shù)篇，系統(tǒng)介紹MATLAB建模的主流技術(shù)，包括數(shù)據(jù)

本書選編了20162021年北京理工大學(xué)學(xué)生參加全國大學(xué)生數(shù)學(xué)建模競賽獲全國一、二等獎及北京市一等獎的部分比賽論文。本書對參賽論文全文刊登，未作刪節(jié)，所有細(xì)節(jié)和詳細(xì)計算過程均予以保留，適合廣大學(xué)習(xí)數(shù)學(xué)建模及初次參賽的高校學(xué)生參考。

本書是Fred等三個美國流行病學(xué)模型專家、數(shù)學(xué)家合著的MathematicalModelsinEpidemiology一書的中譯本。內(nèi)容分流行病學(xué)的基本概念（包括各種類型的倉室模型、地方病模型、流行病模型、異質(zhì)混合模型、媒介傳播的疾病模型）,特殊疾病的模型（包括結(jié)核病模型、艾滋病病毒/艾滋�。℉IV/AIDS）模型、流

本書以數(shù)理邏輯和算法理論的進(jìn)化為主線，并結(jié)合計算機(jī)與人工智能學(xué)科的發(fā)展為其主要特色進(jìn)行論述。本書共分8章，主要內(nèi)容包括算法化和公理化矛盾統(tǒng)一的數(shù)學(xué)史觀，邏輯的數(shù)學(xué)化，集合論公理化，數(shù)學(xué)基礎(chǔ)問題三大派之爭，數(shù)理邏輯主要內(nèi)容的形成，丘奇-圖靈論題的創(chuàng)立和計算機(jī)的出現(xiàn)，計算機(jī)科學(xué)與算法，人工智能與算法。其中后兩章介紹了計算機(jī)

本書主要介紹數(shù)學(xué)建模中常用的方法，并將西安電子科技大學(xué)學(xué)生近年來在全國大學(xué)生數(shù)學(xué)建模競賽中的獲獎作品作為案例來闡明這些方法在數(shù)學(xué)建模中的具體應(yīng)用。本書共分為8章，第1章簡單介紹數(shù)學(xué)模型的概念、建立數(shù)學(xué)模型的步驟，以及數(shù)學(xué)建模競賽；第2章介紹數(shù)學(xué)建模中常用的TOPSIS評價法、層次分析法、模糊綜合評價法等評價方法；第3章