Sticky Posts
计算机笔记目录
计算机专业相关内容学习 # FreeCodeCamp 在线学习笔记 响应式网页设计 HTML 基础 HTML 基础复习 语义化 HTML # 计算数学 Information Mathematics 参考书籍 榎本 彦衛:情報数学入門,新曜社,1987 Rudolf Lidl, Gunter Pilz: Applied Abstract Algebra, Springer, 1998 # 数值计算 Numerical Algorithms 参考书籍 久保田 光一:工学基礎 数値解析とその応用,数理工学社,2010 E. クライツィグ (田村 義保 訳): 数値解析...
more...Post List
【数理统计】推断统计
统计推断 (Statistical Inference) 是数理统计的核心内容 目前通过样本的选取与样本量的计算,可以得到 样本平均 X‾n=1n∑i=1nXi\overline X_n = \frac{1}{n} \sum_{i=1}^n X_i Xn=n1i=1∑nXi 样本方差 s2=1n∑i=1n(Xi−X‾n)2s^2 = \frac{1}{n} \sum_{i=1}^n (X_i - \overline...
more...【数理统计】假设检验
以下记条件概率 P(A∣B)P(A \mid B)P(A∣B) 为 PB(A)P_B(A)PB(A) # 假设检验 在统计中,通过实际的统计计算对现实中的问题进行推断,称为检验。 简单来说,检验是指基于一系列数据,判断是否可以足以拒绝某个主张的流程 在统计检验的过程中,第一步是针对具体问题设定两个假设 原假设 (Null Hypothesis)「帰無仮説」 H0H_0H0:通常是我们想要反驳的假设 备择假设 (Alternative Hypothesis)「対立仮説」...
more...【线性代数】线性映射
本章节学习一类特殊的映射:线性映射 由于线性代数这门学科主要分析线性空间下的性质,所以可以非常良好地讨论线性映射 # 线性映射 定义 令 V,WV, WV,W 分别为域 KKK 上的线性空间 若映射 f:V→Wf: V \to Wf:V→W 满足 ∀u,v∈V,f(u+v)=f(u)+f(v){}^\forall \boldsymbol u, \boldsymbol v \in V, \quad f(\boldsymbol u + \boldsymbol v) = f(\boldsymbol u) +...
more...【抽象代数】多项式环上的可约性
本节详细分析多项式环的结构性质 以下默认 RRR 为整环 # 多项式除法 现在让我们考虑多项式环上是否可以定义除法 如素元分解章节所说,整环的带余除法需要 Euclidean 整环的性质支持 虽然系数环 RRR 是整环可以保证多项式环 R[x]R[x]R[x] 也是整环 但是 Euclidean 整环的性质并不能直接传递到多项式环上,还需要对系数有更强的要求:域 此时次数函数 deg\degdeg 可以作为 Euclidean 函数 命题 令 RRR 为域,f,g∈R[x]f,g \in R[x]f,g∈R[x], g≠0g \neq 0g=0 则存在唯一的...
more...【点集拓扑】分离公理
分离公理 (Axioms of Separation)「分離公理」 是点集拓扑研究的核心内容 其本质是衡量拓扑空间中分离性的一套准则,由五个层级递进的公理组成 # 分离公理 定义 分离公理 令 (X,O)(X,\mathcal O)(X,O) 为拓扑空间 T0T_0T0 第零分离公理:Kolmogorov 公理 ∀x,y∈X, x≠y,∃O∈O,s.t.x∈O, y∉O或y∈O, x∉O{}^\forall x, y \in X,\ x \neq y, {}^\exists O \in \mathcal...
more...






