本書是分數(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)過程本質(zhì)上是
上海大學理學院數(shù)學系，成立于1960年，其前身是上海科技大學數(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ù)學底蘊,提高學習興趣。本書中性質(zhì)
本書內(nèi)容包括偏微分方程的基本概念，數(shù)學物理方程相關的背景，數(shù)學模型的建立與定解問題，定解問題的典型求解方法(求通解方法、行波法、分離變量法、積分變換法、格林函數(shù)法以及數(shù)值求解法)。另外還介紹了勒讓德多項式、球函數(shù)和貝塞爾函數(shù)在求解定解問題時的應用。
本書共分為6章，主要內(nèi)容包括線性正則變換背景簡介、線性正則變換的定義與基本原理、二維線性正則變換理論及其應用、線性正則變換域的時頻分析、線性正則變換域雷達信號的參數(shù)估計、線性正則變換在ISAR成像中的應用。
本書內(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)容包括：集合的基本概念、集合的運算、集列的極限、映射、可列集等。
本書分為代數(shù)不等式研究，三角、幾何不等式研究，不等式證明方法研究，考研不等式試題研究，爭鳴，問題與猜想六個部分，收錄了《正項等差數(shù)列與組合數(shù)生成的一類新不等式》《關于三角形的一些線性不等式》《PQR方法中關于R上限的一個優(yōu)化及應用》等文章。
本書主要圍繞歐氏空間Rn(n3)中極小曲面上的值分布理論及相關研究展開討論,主要內(nèi)容包括極小曲面上Gauss映射的Picard定理、新型虧量關系、分擔唯一性、曲面的曲率估計等.本書從構造度量的角度出發(fā),分析和介紹了極小曲面的幾何特征,將極小曲面上Gauss映射的值分布性質(zhì)考慮到更一般的浸入調(diào)和曲面的情形.本書還給
書單推薦
