題批 · 100 題
離散時間動力系統
batch-20261013-advance-20261020-r01-discrete-dynamical-system-foundations
題批 · 100 題
證明項
batch-20261013-advance-20261019-r07-lean-proof-term-foundations
題批 · 100 題
漸近資源界
batch-20261013-advance-20261019-r06-asymptotic-resource-bound-foundations
題批 · 100 題
算法正確性
batch-20261013-advance-20261019-r05-algorithm-correctness-foundations
題批 · 100 題
抽象計算模型
batch-20261013-advance-20261019-r04-computational-model-foundations
題批 · 100 題
拓撲連續映射
batch-20261013-advance-20261019-r03-topological-continuity-foundations
題批 · 100 題
鄰域
batch-20261013-advance-20261019-r02-neighborhood-foundations
題批 · 100 題
開集與閉集
batch-20261013-advance-20261019-r01-open-closed-set-foundations
題批 · 100 題
證明助理中的形式陳述
batch-20261013-advance-20261018-r07-lean-formal-statement-foundations
題批 · 100 題
決定問題
batch-20261013-advance-20261018-r06-decision-problem-foundations
題批 · 100 題
自然數模同餘
batch-20261013-advance-20261018-r05-modular-congruence-foundations
題批 · 100 題
自然數質數
batch-20261013-advance-20261018-r04-prime-number-foundations
題批 · 100 題
最大公因數與互質
batch-20261013-advance-20261018-r03-gcd-coprime-foundations
題批 · 100 題
自然數整除
batch-20261013-advance-20261018-r02-natural-divisibility-foundations
題批 · 100 題
拓撲空間
batch-20261013-advance-20261018-r01-topological-space-foundations
題批 · 100 題
反例與論域資格
batch-20261012-advance-20261017-r07-counterexample-foundations
題批 · 100 題
非空有限樹：連通、無環與唯一道路
batch-20261012-advance-20261017-r06-tree-foundations
題批 · 100 題
有限簡單無向圖
batch-20261012-advance-20261017-r05-graph-foundations
題批 · 100 題
實數大小與順序
batch-20261012-advance-20261017-r04-order-relation-foundations
題批 · 100 題
二元關係與集合投影
batch-20261012-advance-20261017-r03-relation-foundations
題批 · 100 題
雙射的反函數
batch-20261012-advance-20261017-r02-inverse-function-foundations
題批 · 100 題
雙射與唯一原像
batch-20261012-advance-20261017-r01-bijective-foundations
題批 · 100 題
滿射與陪域覆蓋
batch-20261012-advance-20261016-r07-surjective-foundations
題批 · 100 題
單射與不同輸入的辨識
batch-20261012-advance-20261016-r06-injective-foundations