本書從幾個著名數(shù)學(xué)問題出發(fā)，深入淺出地講解了與我國初高中的教學(xué)實際緊密聯(lián)系的數(shù)學(xué)知識，并把知識內(nèi)容與數(shù)學(xué)核心素養(yǎng)結(jié)合起來。在這條知識主線的周邊，穿插介紹知識內(nèi)容的歷史發(fā)展過程，對相關(guān)數(shù)學(xué)分支在數(shù)學(xué)史上的地位進行深入思考，并輔之以數(shù)學(xué)文化、趣味知識、數(shù)學(xué)游戲、數(shù)學(xué)悖論等茂盛枝葉。全書共6章，第1章介紹無處不在的楊輝三角；

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

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

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

《特殊函數(shù)概論》是著名學(xué)者王竹溪先生的著作，書中系統(tǒng)地講述了一些主要的特殊函數(shù)，如超幾何函數(shù)、勒讓德函數(shù)、合流超幾何函數(shù)、貝塞耳函數(shù)、橢圓函數(shù)、橢球諧函數(shù)、馬丟(Mathieu)函數(shù)。原著書中有360多道習(xí)題，習(xí)題數(shù)目巨大，且難度很高，如果單由讀者去自行解答，會給讀者帶來很大的困難和困惑。吳崇試教授根據(jù)書中內(nèi)容，總結(jié)書

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

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

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

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

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