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

本書深入貫徹近年職業(yè)教育有關(guān)指示批示和重要文件精神，基于高職教育的實(shí)際情況和本課程教學(xué)要求，基于"數(shù)專結(jié)合”理念，以服務(wù)高職院校航空專業(yè)群（含通用航空航務(wù)技術(shù)、無人機(jī)應(yīng)用技術(shù)、通用航空器維修、空中乘務(wù)等專業(yè)）教學(xué)需求為導(dǎo)向，內(nèi)容體現(xiàn)思想性、科學(xué)性、基礎(chǔ)性、職業(yè)性、時(shí)代性，體現(xiàn)學(xué)科知識(shí)與航空行業(yè)應(yīng)用場景的融合，對(duì)數(shù)學(xué)概念

本書在全面歸納考研數(shù)學(xué)30余年所有真題（包含數(shù)學(xué)一、二、三）的基礎(chǔ)上，進(jìn)行題型歸納與總結(jié)，進(jìn)而將多道真題精華融合成為一道試題，方便讀者快速、系統(tǒng)、有深度地學(xué)習(xí)考研數(shù)學(xué)往年真題。本書共分為3篇：第1篇（專題1~50）為高等數(shù)學(xué)部分，著重介紹極限、微積分等知識(shí)在真題中的考查形式；第2篇（專題51~64）為線性代數(shù)部分，著重

橢圓曲線密碼體制（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īng)濟(jì)管理類以及大部分理科(例如力學(xué)、信息與科學(xué)計(jì)算專業(yè))作為常微分方程教材或供準(zhǔn)備參與數(shù)學(xué)建模競賽、考研的學(xué)生參考.全書共分五章：初等積分法，線性微分方程，線性微分方程組，穩(wěn)定性與定性理論初步，差分與差分方程.各章配有習(xí)題并附答案，個(gè)別習(xí)題還有提示，書末有三個(gè)附錄：常微分方程組初值問

本書是分?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è)院校新的教育教學(xué)改革的需要，根據(jù)不同專業(yè)對(duì)數(shù)學(xué)內(nèi)容提出的要求，編者對(duì)高職數(shù)學(xué)課程進(jìn)行新的課程改革，編寫了本教材。 本書主要內(nèi)容包括初等數(shù)學(xué)、電工基礎(chǔ)數(shù)學(xué)、一元函數(shù)的微積分四部分。其中，初等數(shù)學(xué)部分包括數(shù)的運(yùn)算、線性方程組及其解法、一元二次方程及其解法，電工基礎(chǔ)數(shù)學(xué)部分包括三角函數(shù)及其應(yīng)用、復(fù)數(shù)及其應(yīng)用