本書系統(tǒng)深入地闡述了矩陣結(jié)構(gòu)和矩陣函數(shù)的公理化體系，并給出基于此公理體系進(jìn)行形式化分析與驗(yàn)證的應(yīng)用。主要內(nèi)容包括：矩陣結(jié)構(gòu)的形式化；矩陣序列與矩陣級(jí)數(shù)理論的形式化；矩陣函數(shù)微分的形式化；矩陣?yán)碚摰淖詣?dòng)化定理證明；矩陣?yán)碚摴�理化系統(tǒng)在信息或物理系統(tǒng)形式化建模驗(yàn)證中的應(yīng)用。

本書是基于作者多年來為本科生、碩士研究生講授組合分析方法及應(yīng)用課程的講義與作者的研究成果編寫而成。全書系統(tǒng)介紹組合數(shù)學(xué)的存在性和計(jì)數(shù)兩大組合分析領(lǐng)域的主要理論、方法及其應(yīng)用，共八章，內(nèi)容包括鴿巢原理及其應(yīng)用、排列與組合及二項(xiàng)式系數(shù)、容斥原理及其應(yīng)用、生成函數(shù)與遞歸關(guān)系、二階線性齊次遞歸序列、組合序列及其性質(zhì)、組合反演公

本書分11章，內(nèi)容涉及數(shù)學(xué)建模簡(jiǎn)介、Python編程基礎(chǔ)與科學(xué)計(jì)算、常微分方程及差分方程方法、偏微分方程、插值與擬合方法、**化方法、圖論方法、排隊(duì)論、回歸分析、因子分析、時(shí)間序列預(yù)測(cè)分析方法。第3—11章每章先給出歷史沿革，然后進(jìn)行方法簡(jiǎn)介，最后結(jié)合實(shí)例講解建模方法，配合數(shù)學(xué)軟件的介紹和使用，加強(qiáng)建模求解過程的基本訓(xùn)

橢圓曲線密碼體制（ECC）是當(dāng)前主流的公鑰密碼體制，該體制的安全核心是橢圓曲線離散對(duì)數(shù)問題（ECDLP）。本書首先對(duì)橢圓曲線離散對(duì)數(shù)及其相關(guān)問題，以及它們之間的相互關(guān)系進(jìn)行了探討，然后主要介紹了橢圓曲線離散對(duì)數(shù)問題的計(jì)算方法，包括通用的平方根算法及其改進(jìn)、特殊橢圓曲線離散對(duì)數(shù)的計(jì)算方法、指標(biāo)計(jì)算方法的努力、歸約到NPC

本書是分?jǐn)?shù)階系統(tǒng)與高階邏輯形式化驗(yàn)證的基礎(chǔ)理論研究著作。分?jǐn)?shù)階系統(tǒng)是建立在分?jǐn)?shù)階微積分方程理論上實(shí)際系統(tǒng)的數(shù)學(xué)模型。分?jǐn)?shù)階微積分方程是擴(kuò)展傳統(tǒng)微積分學(xué)的一種直接方式，即允許微積分方程中對(duì)函數(shù)的階次選擇分?jǐn)?shù)，而不僅是現(xiàn)有的整數(shù)。分?jǐn)?shù)階微積分不僅為系統(tǒng)科學(xué)提供了一個(gè)新的數(shù)學(xué)工具，它的廣泛應(yīng)用也表明了實(shí)際系統(tǒng)動(dòng)態(tài)過程本質(zhì)上是

本書根據(jù)編者多年來講授大學(xué)數(shù)學(xué)課程的講義編寫而成，分上、下兩冊(cè)。上冊(cè)內(nèi)容為函數(shù)極限與連續(xù)、一元函數(shù)的導(dǎo)數(shù)和微分、一元函數(shù)微分學(xué)的應(yīng)用、一元函數(shù)的積分學(xué)、定積分的應(yīng)用、微分方程、常數(shù)項(xiàng)級(jí)數(shù)，共七章；下冊(cè)內(nèi)容為行列式、矩陣及其運(yùn)算、矩陣的初等變換與線性方程組、向量組的線性相關(guān)性、方陣的特征值與對(duì)角化、概率論的基本概念、隨機(jī)

《應(yīng)用高等數(shù)學(xué)》是為適應(yīng)高等職業(yè)教育高等數(shù)學(xué)課程改革與教學(xué)需求編寫的.教材以應(yīng)用為目的,重視學(xué)生數(shù)學(xué)知識(shí)、數(shù)學(xué)基本方法的掌握和數(shù)學(xué)應(yīng)用意識(shí)及建模能力的培養(yǎng),增加了數(shù)學(xué)歷史等拓展閱讀材料,堅(jiān)持“必需夠用”“專業(yè)應(yīng)用”的原則,并且介紹了計(jì)算軟件MATLAB相關(guān)應(yīng)用,以提高學(xué)生運(yùn)用計(jì)算機(jī)求解數(shù)學(xué)問題的能力.全書共分為五大模塊

本書內(nèi)容全面，系統(tǒng)性強(qiáng)，涵蓋了國(guó)內(nèi)工科研究生對(duì)矩陣論的幾乎全部知識(shí)點(diǎn)，并在教學(xué)結(jié)構(gòu)上進(jìn)行了創(chuàng)新的優(yōu)化和調(diào)整。本書包含五章內(nèi)容。第一章為對(duì)線性代數(shù)知識(shí)的回顧，第二章介紹線性空間的定義、賦范線性空間、內(nèi)積空間；第三章介紹線性變換；第四章介紹若當(dāng)標(biāo)準(zhǔn)型及詳細(xì)的矩陣分析及矩陣函數(shù)等內(nèi)容；第五章介紹矩陣分解、廣義逆、Kronec

在我國(guó)職業(yè)教育蓬勃發(fā)展的今天，職業(yè)本科是一種新生事物。目前適合職業(yè)教育本科階段的數(shù)學(xué)類教材還非常稀缺。職業(yè)本科的數(shù)學(xué)教學(xué)既不同于普通本科，也不同于高職�？啤Ｋ�的難度上介于兩者之間，它比不同本科數(shù)學(xué)教學(xué)更重視應(yīng)用，又比高職�？频臄�(shù)學(xué)知識(shí)體系更加完整，嚴(yán)謹(jǐn)。從一元函數(shù)微積分推廣到多元函數(shù)的微積分，極限思想、定積分思想、微元

本書是根據(jù)教育部卨等學(xué)校大學(xué)數(shù)學(xué)課程教學(xué)指導(dǎo)委員會(huì)制定的非數(shù)學(xué)專業(yè)“髙等數(shù)學(xué)”課稈教學(xué)基本要求，參考了全國(guó)大學(xué)生數(shù)學(xué)競(jìng)賽非數(shù)學(xué)類競(jìng)賽大綱和全國(guó)碩士研究生入學(xué)考試數(shù)學(xué)考試大綱的內(nèi)容和要求，并結(jié)合了作者的“卨等數(shù)學(xué)”慕課，精心制作完成的數(shù)字化新形態(tài)教材，讀者可以掃描二維碼學(xué)習(xí)相關(guān)資源�！禕R》本書層次清晰，結(jié)構(gòu)嚴(yán)謹(jǐn)，內(nèi)容充

本書是根據(jù)教育部高等學(xué)校大學(xué)數(shù)學(xué)課程教學(xué)指導(dǎo)委員會(huì)制定的非數(shù)學(xué)專業(yè)“高等數(shù)學(xué)”課程教學(xué)基本要求,參考了全國(guó)大學(xué)生數(shù)學(xué)競(jìng)賽非數(shù)學(xué)類競(jìng)賽大綱和全國(guó)碩士研究生入學(xué)考試數(shù)學(xué)考試大綱的內(nèi)容和要求,并結(jié)合了作者的“高等數(shù)學(xué)”慕課,精心制作完成的數(shù)字化新媒體教材,讀者可以掃描二維碼學(xué)習(xí)相關(guān)資源�！禕R》本書層次清晰,結(jié)構(gòu)嚴(yán)謹(jǐn),內(nèi)容充

本書是髙等學(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é)建模思想方法和基本過

本書是為天津市大學(xué)生數(shù)學(xué)競(jìng)賽(經(jīng)管類)編寫的輔導(dǎo)教材，依托歷屆天津市大學(xué)生數(shù)學(xué)競(jìng)賽(經(jīng)管類)考試真題，在對(duì)真題深度剖析的基礎(chǔ)上，歸納總結(jié)了數(shù)學(xué)競(jìng)賽中的經(jīng)典題型和思維方法。全書共分七個(gè)部分：極限、一元函數(shù)微分學(xué)、一元函數(shù)積分學(xué)、多元函數(shù)微分學(xué)、多元函數(shù)積分學(xué)、綜合問題、拓展內(nèi)容。全部例題都附有詳細(xì)的分析和解題過程，最重要

本書內(nèi)容包括偏微分方程的基本概念，數(shù)學(xué)物理方程相關(guān)的背景，數(shù)學(xué)模型的建立與定解問題，定解問題的典型求解方法(求通解方法、行波法、分離變量法、積分變換法、格林函數(shù)法以及數(shù)值求解法)。另外還介紹了勒讓德多項(xiàng)式、球函數(shù)和貝塞爾函數(shù)在求解定解問題時(shí)的應(yīng)用。

本書共分為6章，主要內(nèi)容包括線性正則變換背景簡(jiǎn)介、線性正則變換的定義與基本原理、二維線性正則變換理論及其應(yīng)用、線性正則變換域的時(shí)頻分析、線性正則變換域雷達(dá)信號(hào)的參數(shù)估計(jì)、線性正則變換在ISAR成像中的應(yīng)用。

本書根據(jù)編者多年來講授大學(xué)數(shù)學(xué)課程的講義編寫而成，分上、下兩冊(cè)。上冊(cè)內(nèi)容為函數(shù)極限與連續(xù)、一元函數(shù)的導(dǎo)數(shù)和微分、一元函數(shù)微分學(xué)的應(yīng)用、一元函數(shù)的積分學(xué)、定積分的應(yīng)用、微分方程、常數(shù)項(xiàng)級(jí)數(shù)，共七章；下冊(cè)內(nèi)容為行列式、矩陣及其運(yùn)算、矩陣的初等變換與線性方程組、向量組的線性相關(guān)性、方陣的特征值與對(duì)角化、概率論的基本概念、隨機(jī)

本書根據(jù)高等職業(yè)教育人才培養(yǎng)目標(biāo)并結(jié)合職業(yè)本科學(xué)生實(shí)際學(xué)習(xí)需求編寫，按照高等職業(yè)教學(xué)中公共基礎(chǔ)課服務(wù)于專業(yè)、應(yīng)用于實(shí)際的基本要求，在內(nèi)容編排上盡量完整呈現(xiàn)高等數(shù)學(xué)基本知識(shí)體系，同時(shí)盡可能體現(xiàn)數(shù)學(xué)的應(yīng)用。全書分上、下兩冊(cè)。本書為上冊(cè),共六章，內(nèi)容包括函數(shù)、極限與連續(xù),導(dǎo)數(shù)與微分,導(dǎo)數(shù)的應(yīng)用,不定積分,定積分及其應(yīng)用,微分

本書為“十二五”普通高等教育本科***規(guī)劃教材，內(nèi)容深度與廣度符合高等院校經(jīng)濟(jì)類、農(nóng)林類、管理類等各專業(yè)的本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求.全書共9章，內(nèi)容包括函數(shù)與極限、導(dǎo)數(shù)與微分、微分中值定理與導(dǎo)數(shù)的應(yīng)用、不定積分、定積分及其應(yīng)用、多元函數(shù)微積分、微分方程與差分方程、無(wú)窮級(jí)數(shù)、高等數(shù)學(xué)實(shí)驗(yàn).每一節(jié)有習(xí)題，每章設(shè)置總習(xí)題

本書根據(jù)《工科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求（修訂稿）》（2019），并結(jié)合21世紀(jì)線性代數(shù)課程教學(xué)內(nèi)容與課程體系改革發(fā)展要求編寫而成。全書分三篇：基礎(chǔ)篇主要介紹線性代數(shù)基本內(nèi)容；應(yīng)用篇結(jié)合線性代數(shù)四個(gè)知識(shí)面，通過生動(dòng)的實(shí)例介紹它們?cè)诮?jīng)濟(jì)、工程技術(shù)等方面的應(yīng)用；實(shí)驗(yàn)篇簡(jiǎn)要介紹MATLAB軟件及其在線性代數(shù)中的應(yīng)用。本書

本書是根據(jù)線性代數(shù)課程教學(xué)大綱基本要求,結(jié)合作者多年教學(xué)實(shí)踐，參考國(guó)內(nèi)外多部?jī)?yōu)秀教材編寫而成的,是河南省數(shù)學(xué)教學(xué)指導(dǎo)委員會(huì)推薦用書。全書共9章,內(nèi)容包括:行列式,矩陣,線性空間初步,線性方程組,矩陣的特征值、特征向量與對(duì)角化,二次型,數(shù)值計(jì)算初步,應(yīng)用舉例以及MATLAB實(shí)驗(yàn)等，并用二維碼鏈接了每章習(xí)題參考答案(第7-