本書(shū)系統(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)用。

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

本書(shū)分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)建模求解過(guò)程的基本訓(xùn)

本書(shū)是分?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)過(guò)程本質(zhì)上是

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

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

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

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

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

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