6选3
已知数列 a0,a1,a2,…,定义为:
a0=3,a1=1,a2=3,
以及递推关系:
an=an−1+an−2+2an−3,n=3,4,5,…
- 求 a3,a4,a5。
- 找到矩阵 T,使得对所有 n=0,1,2,… 成立:
an+1an+2an+3=Tanan+1an+2.
- 求矩阵 T 的所有特征值及对应的特征向量。
- 将向量313表示为第三问中特征向量的线性组合。
- 求通项 an。
考虑函数的微分方程:
(x4−1)dxdy=y2+2x3y−3x2.
- 已知该微分方程具有形如 yp(x)=ax3 的特解,求 yp(x),其中 a 为常数。
- 令 y=yp+u1,其中 u 为 x 的函数,求微分方程的通解。
R02-数学-向量分析
考虑 z 平面上的三角形区域 S,其边界由 x=1, y=1, y=1−x 给出。对于以下变换,绘制 S 在 w 平面上的影像区域 S′,并给出区域边界的方程:
- w=z+(1−3i);
- w=2e6πiz+(1−3i);
- w=z2。
- w=z+(1−3i)
- w=2e6πiz+(1−3i)
- w=z2
设连续随机变量 X 在区间 [0,1) 上服从均匀分布,定义 Y=−log4(1−X)2,其中 log 为自然对数。回答以下问题:
- 对任意实数 t,求 P(Y≤t)。
- 求 Y 的期望和方差。
- 将以下命题逻辑公式分别记为 ϕ1,ϕ2,ϕ3:
- (p→q)∧(p∧q→r);
- ¬(¬(r→s)∨(¬p∧r∧s));
- p↔r。
使用归结法证明 ϕ3 是 ϕ1∧ϕ2 的逻辑后继。
- 将以下谓词逻辑公式分别记为 ψ1,ψ2,ψ3:
- ∀x∀y((¬P(x,y)→P(y,x))∧(Q(x,y)→¬Q(y,x)));
- ∀x∀y(P(x,y)→Q(x,y));
- ∀x(∃yQ(x,y)∧∀y(Q(x,y)→¬P(y,x)))。
判断以下公式是否可满足,并给出理由: - ψ1∧ψ2;
- ψ1∧ψ3。
6选2
R02-B-問1
R02-B-問2
R02-C-問1
R02-C-問2