本書的編寫遵循數(shù)學(xué)建模的基本原理，精選了一些典型數(shù)學(xué)模型案例，注重講解基本建模的框架和方法。全書包括了9章2個(gè)附錄，主要涉及了數(shù)學(xué)模型與數(shù)學(xué)建模基本概述、初等建模、線性規(guī)劃、非線性規(guī)劃、統(tǒng)計(jì)描述與分析、微分方程、差分方程、圖與網(wǎng)絡(luò)以及數(shù)學(xué)建模競賽及專家講評等基礎(chǔ)模塊，文后附加了MatLab、Python軟件入門知識和使

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

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

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

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

本書是一本講述增強(qiáng)現(xiàn)實(shí)基本原理和算法的教材。全書共分為11章。首先介紹增強(qiáng)現(xiàn)實(shí)基本模型和原理、空間變換與相機(jī)模型。然后介紹增強(qiáng)現(xiàn)實(shí)所必需的空間注冊與跟蹤算法，包括基于平面標(biāo)志的方法、基于3D點(diǎn)跟蹤的方法、視頻序列跟蹤及有限重建方法等。在此基礎(chǔ)上，講解了增強(qiáng)現(xiàn)實(shí)中的虛實(shí)融合技術(shù)和空間增強(qiáng)現(xiàn)實(shí)技術(shù)，包括虛擬物體的繪制、虛實(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ǎng)及北京市一等獎(jiǎng)的部分比賽論文。本書對參賽論文全文刊登，未作刪節(jié)，所有細(xì)節(jié)和詳細(xì)計(jì)算過程均予以保留，適合廣大學(xué)習(xí)數(shù)學(xué)建模及初次參賽的高校學(xué)生參考。

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

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