本書是分?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é)的一種直接方式，即允許微積分方程中對函數(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ì)上是

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

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

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

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

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

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

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

本書分為代數(shù)不等式研究，三角、幾何不等式研究，不等式證明方法研究，考研不等式試題研究，爭鳴，問題與猜想六個(gè)部分，收錄了《正項(xiàng)等差數(shù)列與組合數(shù)生成的一類新不等式》《關(guān)于三角形的一些線性不等式》《PQR方法中關(guān)于R上限的一個(gè)優(yōu)化及應(yīng)用》等文章。

本書主要圍繞歐氏空間Rn(n3)中極小曲面上的值分布理論及相關(guān)研究展開討論,主要內(nèi)容包括極小曲面上Gauss映射的Picard定理、新型虧量關(guān)系、分擔(dān)唯一性、曲面的曲率估計(jì)等.本書從構(gòu)造度量的角度出發(fā),分析和介紹了極小曲面的幾何特征,將極小曲面上Gauss映射的值分布性質(zhì)考慮到更一般的浸入調(diào)和曲面的情形.本書還給