本書是髙等學(xué)校數(shù)學(xué)建模課程教材，共12章，包括數(shù)學(xué)建校概述、初等模型、微分方程模型、差分方程模型、概率與隨機(jī)模型、數(shù)學(xué)規(guī)劃模型、數(shù)據(jù)處理模型、問歸分析模型、分類模型、評(píng)價(jià)模型、預(yù)測(cè)模型、現(xiàn)代優(yōu)化算法。本書以數(shù)學(xué)建模方法為主線，以解決社會(huì)生活和生產(chǎn)符理等領(lǐng)域中的實(shí)際問題為切入點(diǎn)，著重介紹解決問題的數(shù)學(xué)建模思想方法和基本過

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

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

本書是國(guó)家級(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)表示法——中國(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é)詞。本書闡述了中國(guó)表示法區(qū)別于其他表示法的整體性特征，證明了中國(guó)表示