本書介紹了常用的數(shù)學(xué)建模方法和建模的基本技巧，主要內(nèi)容包括數(shù)學(xué)模型的概念、初等模型、微分方程模型、層次分析法、離散模型、聚類分析、對(duì)策模型、穩(wěn)定性分析、最小覆蓋模型、一般優(yōu)化模型、數(shù)學(xué)建模—實(shí)例，并在附錄中分別給出了美國和中國大學(xué)生數(shù)學(xué)建模競(jìng)賽的優(yōu)秀論文。

本書基于“數(shù)學(xué)建模與數(shù)學(xué)實(shí)驗(yàn)”“數(shù)學(xué)教學(xué)軟件”等課程要求，對(duì)常用的三款數(shù)學(xué)軟件Mathematica、LINGO、幾何畫板的功能、語法及基本使肪法在實(shí)驗(yàn)基礎(chǔ)上進(jìn)行總結(jié)。本書內(nèi)容主要包括Mathematica軟件的基本用法、Mathematica軟件在高等數(shù)學(xué)中的應(yīng)用、Mathematica軟件在高等代數(shù)(線性代數(shù))中的

本書是國家級(jí)一流本科課程“數(shù)學(xué)建�！钡呐涮捉滩�，全書對(duì)數(shù)學(xué)建模中使用廣泛的各種數(shù)學(xué)模型進(jìn)行了介紹，內(nèi)容包括MATLAB與LINGO編程、趣味數(shù)學(xué)建模問題、優(yōu)化模型、圖論模型、離散模型、線性回歸模型、微分方程模型、排隊(duì)論模型、數(shù)據(jù)處理方法、指標(biāo)合成方法及大量競(jìng)賽實(shí)戰(zhàn)建模案例。本書不但對(duì)每個(gè)問題都建立了數(shù)學(xué)模型，而且配有M

"作者根據(jù)多年科學(xué)研究成果及數(shù)學(xué)建模競(jìng)賽輔導(dǎo)經(jīng)驗(yàn)編寫此書。本書旨在架起評(píng)估理論與應(yīng)用之間的橋梁，從評(píng)估方法的基本理論、實(shí)現(xiàn)與步驟、優(yōu)缺點(diǎn)、應(yīng)用案例幾個(gè)方面進(jìn)行剖析，使得評(píng)估理論在縱深方向得以延展。全書共分為10章，包括了評(píng)估的基本理論、層次分析法、模糊綜合評(píng)估法、灰色聚類評(píng)估法、人工神經(jīng)網(wǎng)絡(luò)評(píng)估、多源信息融合評(píng)估、物元

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

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

本書系統(tǒng)介紹了數(shù)學(xué)建模的理論知識(shí)和求解方法，結(jié)合典型實(shí)例全面闡述了數(shù)學(xué)建模解決實(shí)際問題的基本過程。內(nèi)容涵蓋了數(shù)學(xué)建模課程中的一些基本方法和基本模型，包括插值與擬合、線性規(guī)劃、整數(shù)規(guī)劃與非線性規(guī)劃、常微分方程與差分方程模型、概率統(tǒng)計(jì)模型、圖論與網(wǎng)絡(luò)優(yōu)化、綜合評(píng)價(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)新型的邏輯符號(hào)表示法——中國表示法。在其中僅僅使用一對(duì)括號(hào)，就可以在一個(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í)所必需的空間注冊(cè)與跟蹤算法，包括基于平面標(biāo)志的方法、基于3D點(diǎn)跟蹤的方法、視頻序列跟蹤及有限重建方法等。在此基礎(chǔ)上，講解了增強(qiáng)現(xiàn)實(shí)中的虛實(shí)融合技術(shù)和空間增強(qiáng)現(xiàn)實(shí)技術(shù)，包括虛擬物體的繪制、虛實(shí)