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

上海大學理學院數(shù)學系，成立于1960年，其前身是上�？萍即髮W數(shù)學系，由嘉定校區(qū)的數(shù)學系和延長校區(qū)、徐匯校區(qū)、嘉定東校區(qū)的數(shù)學教研室合并而成，本書主編為楊建生。楊建生，基礎數(shù)學博士，上海大學數(shù)學系教授�！段⒎e分強化訓練題》（第三版）是2015年上海普通高校優(yōu)秀本科教材《高等數(shù)學（上、下）》(上海大學數(shù)學系編，高等教育出版

本書分為復變函數(shù)和積分變換兩部分：復變函數(shù)部分包括復數(shù)與復變函數(shù)、解析函數(shù)、復變函數(shù)的積分、解析函數(shù)的級數(shù)理論、留數(shù)；積分變換部分包括傅里葉變換和拉普拉斯變換等。本書每章末都配有思維導圖和精選習題,方便讀者復習掌握和檢驗學習效果。除此以外，書中還設計了數(shù)學家簡介、數(shù)學實驗等版塊，以增強數(shù)學底蘊,提高學習興趣。本書中性質

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

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

本書分為教材知識全解和教材習題詳解兩大模塊。教材知識全解部分對書中基本概念和基本公式進行系統(tǒng)梳理，精選經(jīng)典例題，對其解題思路進行深入剖析，此外，還精選有代表性、測試價值高的重點高�？佳姓骖}，鞏固讀者的學習效果，為考研復習夯實基礎；教材習題詳解部分對教材中各章習題作出詳細解答，部分習題還一題多解，培養(yǎng)讀者的分析能力和發(fā)散

本書是根據(jù)教育部頒布的高等學校財經(jīng)類專業(yè)核心課程“經(jīng)濟數(shù)學基礎——微積分”教學大綱和教育部高等學校大學數(shù)學課程教學指導委員會制定的《經(jīng)濟和管理類本科數(shù)學基礎課程教學基本要求》，結合編者長期在經(jīng)濟類高校擔任“經(jīng)濟數(shù)學”課程教學和科研工作的經(jīng)驗而編寫的，同時參考了近年來經(jīng)濟管理類碩士研究生入學統(tǒng)一考試數(shù)學考試大綱。本書在內(nèi)

本書內(nèi)容包括函數(shù)、極限與連續(xù)、導數(shù)與微分、微分中值定理與導數(shù)的應用、不定積分、定積分、多元函數(shù)微積分、無窮級數(shù)、微分方程初步等。各節(jié)后配有適量的習題，書末附有習題答案，便于教學。本書內(nèi)容豐富，條理清楚，重點突出，難點分散，例題較多，在內(nèi)容取舍上既注重了微積分在傳統(tǒng)領域中的知識內(nèi)容，又加強了它在經(jīng)濟應用中的內(nèi)容介紹。

讓數(shù)學問題變得有趣的探索猜想故事書。暑假里，勞拉和湯姆姐弟不知道該如何打發(fā)“無窮多”的無聊的時間。突然，他們產(chǎn)生了很多疑問：無窮大是什么？1后面有100個0該怎么念？“無窮”是不是有很多種的形式？還有很多關于數(shù)學極值的問題……姐弟兩帶著問題，去詢問了天才數(shù)學家，中學數(shù)學老師和計算機達人。他們都用自己的方法，從自己

本書對重要的概念和定理做了較多的背景和思路的說明，對很多核心定理的證明既注重直觀又注重嚴謹。全書共分4章，具體內(nèi)容包括：集合的基本概念、集合的運算、集列的極限、映射、可列集等。