分類:理論計算機科學

J

• 計算理論 (7個分類， 38個頁面)

L

• 离散数学 (9個分類， 15個頁面)

偽

• 伪随机性 (1個分類， 2個頁面)

信

• 信息论 (10個分類， 54個頁面)

形

• 形式方法 (8個分類， 22個頁面)
• 形式语言 (6個分類， 68個頁面)

理

• 理论计算机科学家 (1個分類， 21個頁面)
• 理论计算机科学数学定理 (1個頁面)

算

• 算法 (42個分類， 75個頁面)

編

• 編程語言語義 (5個頁面)

計

• 計算機科學中未解決的問題 (26個頁面)
• 計算複雜性理論 (8個分類， 49個頁面)

語

• 語義學 (20個分類， 75個頁面)

進

• 進化計算 (2個分類， 1個頁面)

重

• 重写系统 (1個分類， 3個頁面)

量

• 量子信息科学 (5個分類， 24個頁面)

• 理論計算機科學

D

• DNA運算

N

• NL完全

Q

• 量子演算法

S

• 罗杰·尚克

Π

• Π-演算

三

• 三个世界理论 (信息学)

偽

• 伪多项式时间
• 伪随机性

分

• 分布式计算

古

• 古特曼演算法

哥

• 哥德尔奖

密

• 密码学

工

• 工作量證明

布

• 布鲁克斯定理

並

• 并行计算

延

• 延遲 (排程)

形

• 形式化方法
• 形式语言

惠

• 惠特尼不等式
• 惠特尼定理

拜

• 拜占庭将军问题

持

• 持有量證明

數

• 数据结构

最

• 最小平方頻譜分析法

正

• 正确性 (计算机科学)

流

• 流形假设

算

• 算法
• 算法工程

粒

• 粒度运算

精

• 精确覆盖问题

編

• 编码理论

自

• 自动推理
• 自動機理論
• 自旋電子學

計

• 計算複雜性理論
• 计算几何

遞

• 递归定义

通

• 通粹纠缠度 (量子计算)

量

• 量子機器學習
• 量子计算机