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

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

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

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

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

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

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

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

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

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