09 2023 档案
摘要:文章目录 诱导公式同终边角任意角的三角函数周内化 相反角任意角的负角正化 原点对称角任意角锐角化 小结互补角 与 π 2 \frac{\pi}{2} 2π相关的角表达式的三角函数 α , α + π 2 \alpha,\alpha+\frac{\pi}{2} α,α+2π α , α − π 2
阅读全文
摘要:文章目录 ref维度和维数张量的最外轴demo例 张量降维降维求和保持张量阶数求和@非降维求和 矩阵向量积运算@矩阵和矩阵乘法运算 小结 ref 2.3. 线性代数 — 动手学深度学习 2.0.0 documentation (d2l.ai) 2.3. Linear Algebra — Dive i
阅读全文
摘要:文章目录 abstract角及其推广简单角任意角旋转方向角的分类始边和终边同终边角集合👺象限角非象限角 非象限角分析终边在 x x x轴上的角集合终边在 y y y轴上的角集合 角及其大小角的加减运算旋转量角的加法 角的度量角度制弧度弧度和角度弧度制角度和弧度的换算简写@省略弧度单位小结 abst
阅读全文
摘要:文章目录 abstract幂指数和对数对数的表示指数对数得重要表示形式👺对数的性质 对数的运算👺对数和差公式(真数积商公式)基变换@换底公式@对数商公式指系(次方公式)还原公式其他公式互换公式倒数公式 链式公式 对数函数单调性对数函数和指数函数的关系关于 x x x轴对称的对数函数 同底指数和对
阅读全文
摘要:文章目录 abstract方根和分数指数幂👺简单低次方根 n n n次方根开方运算根号偶次方根和奇次方根n次方根的表示根式@根指数算术根方根的几个"总是" 根式性质👺 分数指数幂(有理指数幂)既约分数正分数指数幂负分数指数幂判定一个分数指数幂是否有意义👺有理数幂的运算法则法则说明法则推广幂的底
阅读全文
摘要:文章目录 abstract函数相关概念的直接定义函数的定义反函数定义复合函数定义 基于映射的函数相关定义函数函数的记法及其含义函数值 f ( x ) f(x) f(x)函数关系 定义域和值域 记号 f , f ( x ) f,f(x) f,f(x)的比较👺函数记号选取和函数简写👺映射规则的记号因
阅读全文
摘要:赛马是一古老的游戏,早在公元前四世纪的中国,处在诸侯割据的状态,历史上称为“战国时期”。在魏国作官的孙膑,因为受到同僚庞涓的迫害,被齐国使臣救出后,到达齐国国都。 赛马是当时最受齐国贵族欢迎的娱乐项目。上至国王,下到大臣,常常以赛马取乐,并以重金赌输赢。田忌多次与国王及其他大臣赌输赢,屡赌屡输。一天
阅读全文
摘要:文章目录 症状分析检查权限&修改 症状分析 某些多系统计算机在切换系统后编辑了某些文件,可能导致文件权限发生改变,导致某些系统用户无法读取(编辑)文件(特别是onedrive同步目录下的文件) 检查权限&修改 (前提是当前用户是管理员组中的成员) 一般选择full control
阅读全文
摘要:文章目录 搜索:choose lookup item利用tab键(代替down(向下箭头))来向下移动选中语句补全条目windows copy for `tab` keyIDEA emmet 快捷键配置 搜索:choose lookup item 利用tab键(代替down(向下箭头))来向下移动选
阅读全文
摘要:文章目录 referenceexperiment code效果skew()和shear mapping函数 reference skew() - CSS: Cascading Style Sheets | MDN (mozilla.org) experiment code 这是一个动画,展示了ske
阅读全文
摘要:文章目录 abstract等可能概型(古典概型)🎈古典型概率公式基本性质导出性质例例 抽样方式👺放回抽样不放回抽样 m m m次逐个取和一次性取 m m m个 应用例:抛硬币问题例:两类抽样方法下的取色球问题👺对于放回抽样:样本空间的选取 对于不放回抽样: 例:次品排查问题方法1:方法2:方法
阅读全文
摘要:文章目录 abstract伯努利概型伯努利试验n重伯努利试验例样本空间样本空间的重要划分成功k次的n重Bernoulli试验 例例例 abstract Bernoulli概型是结合独立事件和n重Bernoulli试验概念的古典概型 伯努利概型 Bernoulli概型是基于bernoulli试验的一类
阅读全文
摘要:文章目录 abstract完备事件组(划分)基本性质 全概率公式例 贝叶斯公式例 对立事件下的常用形式例例例 先验概率和后验概率例 概率作为衡量人们对客观事件的信念度量 abstract 全概率公式和bayes公式及其应用后验概率和信念度量 完备事件组(划分) 设有限集 I = { 1 , ⋯ ,
阅读全文
摘要:文章目录 reference linkbasic informationexample基础:剖析URL示例0示例1 url for fileexamples: RFC doc (partial) reference link 什么是URL? - 学习 Web 开发 | MDN (mozilla.or
阅读全文
摘要:文章目录 GUI方法使用python自带的方法 GUI方法 比如使用vscode: ctrl+H,进行查找替换即可(将空格替换为空(不填写)),还支持正则 参考正则: ^\s*\n 您可以将常用的正则保存到某个文件中以便需要的时候随时读取 不论是linux还是windows都可以这么做 linux下
阅读全文
摘要:文章目录 abstractwindows浏览android文件环境准备客户端软件无线网络链接步骤其他方法 手机浏览电脑文件公网局域网ftp servereverything ftpwindows ftp http servereverything http serverpython http.ser
阅读全文
摘要:文章目录 abstract联结词的完备集 n n n元真值函数真值函数和命题公式的对应关系联结词完备集推论 常见的复合(高级)联结词与非联结词或非联结词两个复合联结词的完备性 abstract n n n元真值函数和 n n n元命题公式间的对应关系由 n n n元真值函数引入联结词的完备集概念 这
阅读全文
摘要:文章目录 abstract主合取范式与主析取范式间的关系👺主范式存在及唯一性定理例 主范式的性质👺求公式的成真与成假赋值主析取范式直接得到主合取范式 判断公式的类型 n n n元命题公式的主析取范式(主合取范式)的个数判断两个命题公式是否等值 给出一个满足给定真值表的命题公式半加器全加器半加器和
阅读全文
摘要:文章目录 abstract文字简单析取式(或项)简单合取式(与项)或项和与项基本性质定理 命题公式的范式析取范式合取范式小结性质 命题公式规范化联结词规范化析取@合取规范化异同点范式存在定理规范式的不唯一性极小项和极大项 主范式 n n n元主范式的个数下标编排规则初步规范化例 例:二元 极小项和极
阅读全文
摘要:package experiment5.exp3; import java.util.*; /*从键盘输入一个任意的字符串(如:aaabbababaaaababababa),统计该字符串中长度为i的子串出现次数(i从1开始到上述字符串长度结束)。提示:可使用HashMap实现。*/ public c
阅读全文
摘要:文章目录 利用在线搜索学习matlab比如这里我查询max(A,B)的用法进入max(A,B)功能用法说明相关用法中的参数说明(同意说明) 直接在官网搜索也可以: 利用在线搜索学习matlab 比如这里我查询max(A,B)的用法 例 半形式化命题和形式化语言形式逻辑的抽象性👺联结词形式化否定合取析取相容或的表示排斥或的表示 蕴含👺Notes:补充说明 等价 abstract 数理逻辑@命题和联结词@形式化命
阅读全文
摘要:文章目录 abstract引言正定二次型小结可逆线性变换不改变二次型的正定性二次型是正定的充要条件推论:正定矩阵和特征值正定二次型(正定矩阵)性质 负定二次型负定二次型判定条件 k阶顺序主子式赫尔维茨定理:主子式判定二次型正定性和负定性 二次型分类小结有定二次型不定二次型 abstract 介绍正定
阅读全文
摘要:文章目录 二次型的标准形🎈标准形的矩阵式标准化问题(合同对角化)二次型标准化分析🎈 二次型可标准化定理正交相似角度证明配方角度证明case1方法1:case2 方法2case2case3 二次型的标准形🎈 如果二次型只含有变量的平方项,则称之为二次型的标准形或法式,即 f ( y 1 , ⋯
阅读全文
摘要:文章目录 标准化方法正交变换法🎈求矩阵的特征值求各特征值对应的线性无关特征向量组正交化各个向量组 配方法步骤例例 初等变换法原理总结初等变换法的步骤例 标准化方法 正交变换法🎈 二次型可标准化定理的证明过程给出使用二次型标准化的步骤 该方法通过计算出一个特定的正交矩阵 P \bold P P,并
阅读全文
摘要:文章目录 传输层协议各低层通信特点 传输层的功能端到端的通信复用和分用差错检测提供两种不同的传输协议屏蔽了低层网络核心的细节 端口端口的作用硬件端口软件端口 服务器端使用的端口号熟知端口号一些常用的熟知端口号 登记端口号 客户端使用的端口号套接字 无连接服务与面向连接服务面向连接服务IP数据报和UD
阅读全文
摘要:文章目录 UDP协议UDP概述UDP的首部格式UDP数据报封装入IP数据报 UDP校验伪首部真首部UDP数据报处理例 UDP vs TCP UDP协议 User Datagram Protocol - Wikipedia 1Attributes2Ports3UDP datagram structur
阅读全文
摘要:输入两个数,如a,b,且a,b是都大于0的整数,a<=b, 输出a除以b的结果, 结果用真分数表示,即最简分数。nput: 输入两个数a,b,以EOF结束。 Output: 输出a除以b的结果,结果就分数表示,如,1除以2得1/2,2/4=1/2,如果a等于b,那么输出1。 #include <st
阅读全文
摘要:文章目录 if you try to install turtle:you may meet the error like this:python3和turtle if you try to install turtle:you may meet the error like this: Proba
阅读全文
摘要:文章目录 归纳法完全归纳法例形式化描述 不完全归纳法例 归纳法 归纳法是通过对事物观察,实验,经过概括和总结而得出普遍规律的一种方法,是从认识特殊的事物扩大到认识一般事物的一种研究方法归纳法分为两类:完全归纳法和不完全归纳法 完全归纳法 完全归纳法是研究了事物的所有(有限种)可能情况而得出的一般结论
阅读全文
摘要:文章目录 方阵相似引言相似矩阵定义相似变换相似变换矩阵相似矩阵的矩阵多项式和特征值相同推论:与对角阵相似的矩阵性质定理 相似矩阵性质导出性质 相似矩阵的乘方性质相似矩阵和矩阵多项式相似对角阵 对角阵多项式的展开小结 强矩阵相似对角化相似正交相似正交相似对角化实对称方阵A正交对角化方法 方阵相似 引言
阅读全文