文章
12
标签
4
分类
0
主页
存档
标签
分类
拓展
解析
想法
链接
关于
Sept
关于实数的另一种构造(数学分析)
返回首页
主页
存档
标签
分类
拓展
解析
想法
链接
关于
关于实数的另一种构造(数学分析)
发表于
2025-09-24
|
更新于
2025-09-27
|
浏览量:
文章作者:
Plenilune Liao
文章链接:
http://plen09.github.io/2025/09/24/2025-09-24-3/
版权声明:
本博客所有文章除特别声明外,均采用
CC BY-NC-SA 4.0
许可协议。转载请注明来源
Sept
!
材料
上一篇
集合与映射笔记(数学分析)
下一篇
关于 Haskell 的类型类 (1)(计算概论 A 实验班)
函数的类型从何而来? 考虑以下代码: 12swap :: (a,b) -> (b,a)swap (x, y) = (y, x) 这里并没有对 x 和 y 的类型作任何要求,换言之,显然地,swap(1, 2) = (2, 1)。但是更进一步,swap('a', False) = (False, 'a'),并没有任何问题,所以只需要写 a 和 b 即可。 但是这一段: 12345palindrome :: Eq a => [a] -> Boolpalindrome xs = reverse xs == xsdouble :: Num a => a -> adouble x = x * 2 首先,palindrome 的运行依赖于 == 的实现。换言之,如果 [a] 中的 a 不支持 == 操作(也即不在 Eq 定义下),那么以下的语句是无法正常运行的,所以我们需要额外地限定 Eq a。 进一步,double 的运行则依赖 *,所以我们要保证乘法这一行为合法。考虑限制 Num a,即说明 * 是良定的。 两个典型的类型类 ...
相关推荐
2025-09-28
运动学复习(力学 B)
v1.0.0 版本,也许待完善。 核心思想 所有坐标系描述的是同一个物理运动,只是“观察”和“分解”的视角不同。它们之间可以相互转换。 直角坐标系 (Cartesian Coordinates) 这是最直观、最基础的坐标系。 描述方式:用三个相互垂直的坐标轴 (x, y, z) 来确定位置。 位矢 (Position Vector): r⃗ = xî + yĵ + zk̂ î, ĵ, k̂ 是三个方向恒定不变的单位矢量。 速度 (Velocity): $$ \vec{v} = \frac{d\vec{r}}{dt} = \frac{dx}{dt}\hat{i} + \frac{dy}{dt}\hat{j} + \frac{dz}{dt}\hat{k} = v_x\hat{i} + v_y\hat{j} + v_z\hat{k} $$ 速率 (Speed): $ v = || = $ 加速度 (Acceleration): $$ \vec{a} = \frac{d\vec{v}}{dt} = \frac{d^2x}{...
Plenilune Liao
就读于北京大学,信息科学技术学院。
文章
12
标签
4
分类
0
Follow Me
公告
This is my Blog
最新文章
POA “城市定向外传 · 卷卷猫历险记”游记
2025-11-23
北京大学第零届校园寻宝“燕园梦寻”游记
2025-10-25
2025 年 10 月 1 日部分习题解答(线性代数)
2025-10-02
2025 年 9 月 29 日部分习题解答(数学分析)
2025-10-01
运动学复习(力学 B)
2025-09-28