自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(26)
  • 资源 (2)
  • 收藏
  • 关注

原创 积分学<6>——反常积分

若函数fxfx在区间a∞a∞a∈Ra∈R)上有定义,且∀Aa∀Aa若函数fxfx在aAaA上可积,构造变上限积分FA∫aAfxdxFA∫aA​fxdx若极限lim⁡A→∞FAlim⁡A→∞∫aAfxdxF∞−FalimA→∞​FAlimA→∞​∫aA​fxdxF∞−Fa存在且有限,则称反常积分∫a∞f。

2024-04-15 20:47:01 908

原创 积分学<5>——微积分基本定理

函数Fx∫axftdtFx∫ax​ftdt称为变上限积分,x∈abx∈ab为自变量,ttt为参数。

2024-04-14 18:57:37 860

原创 积分学<4>——定积分的性质

上可积,则可取一个划分P,设c为P的一个分点x_{k}(如不然,将c作为新分点添加入划分P,根据引理3.1,取一个包含分点c=x_{r}的划分P,设在闭区间。根据定积分的保序性和线性性,根据定积分的线性性,函数。根据数列极限的保序性,上均可积,反之亦然,且。

2024-04-14 16:53:08 664

原创 积分学<3>——定积分与可积条件

若函数fxfx是闭区间abab上的有界函数,对闭区间abab作划分Pxi−1xi∣x0a≤xi−1xi≤xnb1≤i≤ni∈NPxi−1​xi​∣x0​a≤xi−1​xi​≤xn​b1≤i≤ni∈N,也就是选取包含闭区间abab左端点a和右端点b在内的n1n+1n1个点xix_{i}xi​将闭区间abab分为n−1。

2024-04-11 21:31:59 1125

原创 积分学<2>——换元积分法和分部积分法

若fxf​xg′x,且∫f​uduFuC,则∫fxdxFgxC。Fgx′F′gx⋅g′xf​gxg′xfx。xφt,且反函数φ−1xt存在,则∫fxdx∫fφtφ′tdtFφ−1xC。Fφ−1x′φ′tF′φ−1x​φ′tfφtφ′t​fφtfx。fxuxvx,dfxuxdv。

2024-04-10 13:54:49 731

原创 积分学<1>——不定积分

若函数f\left ( x \right )在区间X上有定义,且F^{\prime } \left ( x \right ) =f\left ( x \right ),则称F\left ( x \right )为f\left ( x \right )的一个原函数。

2024-04-09 20:09:04 250

原创 微分学<6>——Taylor公式

时,Taylor公式表现为Lagrange中值定理的形式。连续引用n-1次L’Hospital法则,在Taylor近似时产生的误差,余下的。,其中Lagrange余项。引用Cauchy中值定理,阶导数均存在,则存在邻域。阶导函数一定连续且可导。次Taylor多项式。阶连续导数,在开区间。

2024-03-21 02:51:01 912

原创 微分学<5>——L‘Hopital法则

L’Hopital法则同样适用于。根据数列极限的定理2.1,根据数列极限的定理2.1,根据Cauchy中值定理,根据Cauchy中值定理,根据函数极限的局部保序性,引用函数极限的局部保号性,根据Cauchy中值定理,根据函数极限的局部保序性,引用函数极限的局部保号性,以"0"代表无穷小量,"直接应用的结论,

2024-03-20 00:04:22 752

原创 微分学<4>——微分中值定理

若存在x0x_{0}x0​的邻域Ux0δUx0​δ,使得∀x∈Ux0δ∀x∈Ux0​δfx≤fx0fx≤fx0​,则称x0x_{0}x0​是函数fxfx的一个极大值点。若存在x0x_{0}x0​的邻域Ux0δUx0​δ,使得∀x∈Ux0δ∀x∈Ux0​δfx≥fx0fx≥fx0​,则称x0x_{0}x0​。

2024-03-09 18:52:25 816

原创 微分学<3>——高阶导数

若yfxyfx的前n−1n-1n−1阶导函数均存在,且第n−1n-1n−1阶导函数可导,则将fxfx的第n−1n-1n−1阶导函数的求导产物称为fxfx的nnn阶导函数,记作fn−1x′fnxfn−1x′fnx或dnydxndnydxndxndny​dxndny​dnfdxndnfdxndxndnf​dxnd。

2024-03-08 17:38:03 801

原创 微分学<2>——导数的定义与求导法则

若yfxyfx可微,则当Δx→0Δx→0时,有lim⁡Δx→0ΔyΔxlim⁡Δx→0fx△x−fxΔxlimΔx→0​ΔxΔy​limΔx→0​Δxfx+△x−fx​存在,则称函数yfxyfx可导,称lim⁡Δx→0ΔyΔxlimΔx→0​ΔxΔy​为fxfx的导函数f′xdydxdfdxf。

2024-03-05 14:52:05 850

原创 微分学<1>——微分

若yfxyfxx0∈Dfx0​∈Df​∃gx0∃gx0​∀ΔxΔx→0∀ΔxΔx→0Δygx0ΔxoΔxΔygx0​ΔxoΔx,此时称yfxyfx在x0x_{0}x0​处可微,若yfxyfx在区间XXX每一点上处处可微,则称yfxyfx在区间XXX上可微。其中gx0Δxgx0​Δx称为微分的线性主要部分。

2024-02-29 18:52:06 333

原创 函数极限<5>——闭区间上的连续函数

若函数fxfx在区间XXX上有定义,且∀ε0∀ε0∃δ0∃δ0∀x′∀x′x′′x′′∣x′−x′′∣δ∣x′−x′′∣δ∣fx′−fx′′∣ε∣fx′−fx′′∣ε,则称函数fxfx在区间XXX上一致连续。

2024-02-21 22:16:15 969

原创 函数极限<4>——无穷小量的阶

若lim⁡x→x0uxvx0limx→x0​​vxux​0,则称当x→x0x\to x_{0}x→x0​时,uxux是vxvx的高阶无穷小量,记为uxovxuxovx,相对的,当x→x0x\to x_{0}x→x0​时,vxvx是uxux的低阶无穷小量。若在x0x_{0}x0​的某一去心邻域内,∣uxvx∣≤AA∈R​vxux​。

2024-01-21 19:45:28 845

原创 函数极限<3>——连续函数

若函数fx在邻域U˚x0δf\left ( x \right )在邻域\mathring{U} \left ( x_{0},\delta \right )fx在邻域U˚x0​δ上有定义,且∀ε0∀ε0∃δ0∃δ0∀x∣x−x0∣δ∀x∣x−x0​∣δ∣fx−fx0∣ε∣fx−fx0​∣ε,也就是lim⁡x→x0fxfx0limx→x0​​。

2024-01-10 12:09:41 833

原创 函数极限<2>——Heine定理

可以直接运用的结论证明。的充要条件是对任意满足。又根据函数极限定义,

2023-12-28 05:18:07 906

原创 函数极限<1>——函数极限

若函数fxfx在去心邻域U˚x0δU˚x0​δ内有定义,∀ε0∀ε0∃δ0∃δ0∀x0∣x−x0∣δ∀x0∣x−x0​∣δ∣fx−A∣ε∣fx−A∣ε,则称函数fxfx以实数AAA为极限,或函数fxfx收敛于极限AAA,符号化表述为lim⁡x→x0fxAlimx→x0​​fxA或fx→Ax→x0fx→。

2023-12-28 05:05:40 743

原创 数列极限<3>——实数系基本定理

设集合SSS为非空有限实数集,若∃m∈S∀x∈S∃m∈S∀x∈Sx≥mx\ge mx≥m,则称mmm为SSS的最小数,记为mmax⁡Sm =\max SmmaxS。设集合SSS为非空有限实数集,若∃M∈S∀x∈S∃M∈S∀x∈Sx≤Mx\le Mx≤M,则称mmm为SSS的最大数,记为Mmin⁡SM =\min SMminS。设集合SSS为非空有限实数集,若。

2023-12-09 08:37:53 906

原创 数列极限<2>——无穷大量

若数列xnxn​∀G0∀G0∃N∀nN∃N∀nNxnGx_{n}>Gxn​G,则称xnxn​为正无穷大量;若数列xnxn​∀G0∀G0∃N∀nN∃N∀nNxn−Gx_{n}

2023-12-04 18:57:04 879

原创 数列极限<1>——数列极限

实数轴上的点x0x_{0}x0​附近的开区间Ux0δx0−δx0δUx0​δx0​−δx0​δ称为x0x_{0}x0​的邻域,若不包含x0x_{0}x0​,则称为去心邻域Ux0δ−x0Ux0​δ−x0​。xnxn​∀ε0∀ε0∃N\exists N∃N∀nN∀nN∣xn−a∣ε∣xn​−a∣ε则称为数列xnxn​。

2023-12-02 03:03:56 939

原创 谓词逻辑<2>——一阶谓词演算形式系统FC

形式系统FC的公理和定理。

2023-11-21 03:36:17 187

原创 谓词逻辑<1>——谓词逻辑

介绍个体,量词,谓词公式,辖域等谓词逻辑基本概念。

2023-11-13 16:54:42 128

原创 命题逻辑<4>——命题演算形式系统PC

形式系统的一般定义,与PC的定义和合理性,一致性,紧致性。

2023-09-21 03:53:33 250

原创 命题逻辑<3>——范式

命题逻辑的范式,主范式和极小项,极大项。

2023-09-13 00:45:24 300

原创 命题逻辑<2>——真值演算

介绍命题逻辑的逻辑蕴涵与逻辑等价关系,列出常用的等价关系和规则。

2023-09-12 11:15:35 195

原创 命题逻辑<1>——命题逻辑

介绍命题逻辑的基本概念,涉及命题,逻辑联结词,命题公式。

2023-09-11 15:44:28 239

通过融入互联网基因的设计迈向无线全球互联网.pdf

Toward Un-Wired Global Internet with Internet-by-Design Hiroshi ESAKI, Ph.D, Executive Director, IPv6 Promotion Council Japan Professor, The Univ.of Tokyo, Director, WIDE Project Board of Trustee, Internet Society

2020-01-29

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除