Notes on CS103 Mathematical Foundations of Computing
Source: ChungZH 的小窝 ·
Notes on CS103: Mathematical Foundations of Computing 🔗link 0.Set Theory and Introduction to Proofs Introduction to Set Theory 势（Cardinality）：反映集合的大小。 定义 $\aleph_0 = |\mathbb{N}|$（可数无穷）。 如果两个集合存在双射，就称这两个集合等势。 自然数集和偶数集是等势的，只需将 n 与 2n 一一对应。 康托定理：$|A| < |\wp(A)|$。 对角线证明法：先假设 $S$ 与它的幂集能一一配对（$s_n$ 配对子集 $A_n$）。构造一个新的子集 $D$，规则是： 对于每一个元素 $s_n$，若 $s_n \not\in A_n$，就把 $s_n$ 放入 $D$。 可以证明 $D$ 一定不在表里。 由于程序的代码一定是字符串，得 $|Programs| \leq |Strings|$。 一个字符串集合可以对应一个判定问题，如给出一个集合 $S = {“a”, “b”, …, “z”}$，它对应一个问题：给一个字符串，判定是不是一个小写字母。所以，由字符串集合定义的问题，和字符串集合本身，是一一对应的。但是，问题绝不仅有判
Foire aux questions
Qu'est-ce que Notes on CS103 Mathematical Foundations of Computing ?
Notes on CS103 Mathematical Foundations of Computing is a article discovery curated from ChungZH 的小窝. Notes on CS103: Mathematical Foundations of Computing 🔗link 0.Set Theory and Introduction to Proofs Introduction to Set Theory 势（Cardinality）：反映集合的大小。 定义 $\aleph_0 = |\mathbb{N}|$
Comment puis-je y accéder ou l'essayer ?
You can experience this content directly on its original host (ChungZH 的小窝) by clicking the "Open Original" button.
D'où vient ce contenu ?
Curated from ChungZH 的小窝 by the OnSuggest team to surface the most interesting and serendipitous content on the web.
Dans le même esprit
Toutes les découvertes Technologie →回家做饭🥢
还在上学的时候，晚上放学回家，有时候爸妈都不在家，我自己就开始做饭了，前面文章说过我自己做饭做的最多的其实就是蛋炒饭，那时候一般中午做米饭的时候会多做一些，晚上可以做成炒饭，菜再随便热一热就可以了。从那时候开始，我就算是掌握了基本养活自己饿不死的本领了。其实做饭是一件挺麻烦
OpenWrt 扩容实战：NVMe 分区已经扩大，但 df 显示空间不变
《OpenWrt 扩容实战：NVMe 分区已经扩大，但 df 显示空间不变》## 一、问题背景最近升级 OpenWrt 后，发现系统根目录空间不足，只有约 122MB，已经接近 100% 使用率...
JS拖拽交互必用setPointerCapture方法
之前自定义拖拽行为的时候，我都是将move行为绑定在document上的，最近才知道，原来还有个setPointerCapture方法，直接绑定在触发元素上，不必担心快速移动时候目标对象的丢失。
[分享创造] 写了个火箭车小游戏练练手
写了个火箭车小游戏练练手 小程序备案确实比域名备案省心省事多了，加上最近工具类小程序对个人开放了虚拟支付、降低了流量主门槛，感觉会越来越多产品经理用业余的时间参与到创造的队伍，门槛太低了。。。 https://imgur.com/a/116mmnk.png
[分享创造] 做了一个锻炼组间计时小程序
每次锻炼的时候组间休息还要开个计时器，自己搞了个小程序，gpt 的风格有点浓，希望能帮助到有需要的人，有啥需求也可以评论区，偶尔更新，得看剩多少额度，小程序 搜 [锻炼吗]