Processing math: 100%
会员
T恤
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
zjp_shadow
世界是个回音谷,念念不忘,必有回响,你大声喊唱,山谷雷鸣,音传千里,一叠一叠,一浪一浪,彼岸世界都收到了。凡事念念不忘,必有回响。因为它在传递你心间的声音,绵绵不绝,遂相印于心。
博客园
首页
新随笔
联系
订阅
管理
随笔 - 199
文章 - 1
评论 - 295
阅读 -
18万
10 2020 档案
完备性定理之间的等价证明
摘要:确界存在 ⇒ 有限覆盖
[
a
,
b
]
被
{
I
λ
}
覆盖,对于
∀
S
⊂
{
I
λ
}
使得
S
有限,覆盖
a
(这样的
S
总能找到) 定义 \(B = \{y \in [a, b] ~|~
阅读全文
posted @
2020-10-29 20:56
zjp_shadow
阅读(438)
评论(2)
推荐(2)
包子的高数辅导~
该文被密码保护。
posted @
2020-10-18 18:56
zjp_shadow
阅读(11)
评论(0)
推荐(0)
公告
昵称:
zjp_shadow
园龄:
7年9个月
粉丝:
277
关注:
21
+加关注
<
2025年4月
>
日
一
二
三
四
五
六
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
5
6
7
8
9
10
搜索
常用链接
我的随笔
我的评论
我的参与
最新评论
我的标签
最新随笔
1.ProlificDreamer(VSD) 论文阅读笔记
2.DI-Fusion: Online Implicit 3D Reconstruction with Deep Priors 阅读笔记
3.Sequence Model - Sequence Models & Attention Mechanism
4.Sequence Model - Natural Language Processing & Word Embeddings
5.Sequence Models - Recurrent Neural Networks
6.OOP Summary
7.智能问答与对话系统
8.第四章 向量空间
9.第三章 行列式
10.第二章 矩阵代数
我的标签
总结
(33)
dp
(28)
bzoj
(22)
省选
(17)
数论
(16)
线段树
(13)
期望
(11)
组合数
(10)
codeforces
(9)
容斥定理
(8)
更多
积分与排名
积分 - 141801
排名 - 10031
随笔分类
(11)
POJ(2)
各类考试(1)
洛谷(4)
神奇黑科技(4)
随笔档案
(198)
2023年5月(1)
2022年3月(1)
2021年8月(3)
2021年6月(1)
2021年5月(1)
2020年11月(4)
2020年10月(2)
2019年7月(1)
2019年6月(3)
2019年5月(1)
2019年4月(5)
2019年3月(13)
2019年2月(13)
2019年1月(9)
2018年12月(7)
2018年11月(7)
2018年10月(19)
2018年9月(9)
2018年8月(15)
2018年7月(10)
2018年6月(13)
2018年5月(8)
2018年4月(10)
2018年3月(12)
2018年2月(7)
2018年1月(3)
2017年12月(1)
2017年11月(6)
2017年10月(1)
2017年8月(3)
2017年7月(9)
更多
文章档案
(1)
2018年3月(1)
相册
(41)
ProblemSet(3)
source(38)
友情链接
py大佬!!!!
yyb巨佬!!
doe大佬!!
hyj大佬!!
panda2134大佬!!!
TeaFrog!!!
尹yy!
肖大佬!!
韩一大大!!!
zhou888!!!!!!!!!!!!
redbag大大!!!
小学生太强啦
dyx大佬!!!
神雕大大!!!!
伟大的廖哥!!!
特老板的博客
Flash_Hu大佬
Ning-Mew大佬的博客
更多
阅读排行榜
1. 基础数论复习(22969)
2. 后缀自动机(SAM)学习笔记(16089)
3. 乘法逆元(11684)
4. 关于证明一个概率事件的期望次数(5240)
5. 2-SAT 问题与解法小结(3673)
6. Nim积解法小结(3515)
7. NOI2019 退役记(3368)
8. 猫树学习笔记(3043)
9. ProlificDreamer(VSD) 论文阅读笔记(2372)
10. 一类树上问题的解决办法(2370)
11. 算法博客总结(2251)
12. ExKMP(Z Algorithm) 讲解(2177)
13. FMT 与 子集(逆)卷积(1850)
14. 线性筛与莫比乌斯反演(1712)
15. 杜教筛小结(1449)
推荐排行榜
1. 乘法逆元(65)
2. 后缀自动机(SAM)学习笔记(60)
3. 基础数论复习(49)
4. Nim积解法小结(25)
5. NOI2019 退役记(13)
最新评论
1. Re:乘法逆元
%%%
--gufucfdg
2. Re:后缀自动机(SAM)学习笔记
图炸了啊 qwq
--Rainsheep
3. Re:乘法逆元
讲的这么棒,必须进来给你点赞!
--xywww
点击右上角即可分享