#foundations

Claude Certified Developer - Foundations (CCDV-F) 昨日受けてきました。【日本語受験】

はじめに 2026年11月5日、テストセンターで Claude Certified Developer – Foundations（CCDV-F） を受験し、896点で合格しました。 ざっくりまとめると、 勉強時間は 10時間未満 教材は みのるんさんが公開している問...

Qiita · JA

The Little Book of Generative AI Foundations: An Intuitive Mathematical Primer

Comments

Hacker News · EN

Notes on CS103 Mathematical Foundations of Computing

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 = {&ldquo;a&rdquo;, &ldquo;b&rdquo;, &hellip;, &ldquo;z&rdquo;}$，它对应一个问题：给一个字符串，判定是不是一个小写字母。所以，由字符串集合定义的问题，和字符串集合本身，是一一对应的。但是，问题绝不仅有判

ChungZH 的小窝 · ZH

Foundations of Computer Science

Santosh Vempala is the chair of this FOCS 2024 conference. Here is the schedule of the talks. And in our next section are the accepted papers with links so you can see the results now. His committee is: Daniel Alabi, Columbia Nima Anari, Stanford Maryam Aliakbarpour, Rice Xiaotie Deng, Peking University Jelena Diakonikolas, Wisconsin Alina […]

Gödel's Lost Letter · EN