分類:理論計算機科學

J

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

L

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

偽

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

信

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

形

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

理

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

算

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

編

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

計

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

語

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

進

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

重

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

量

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

• 理論計算機科學

D

• DNA運算

N

• NL完全

Q

• 量子演算法

S

• 罗杰·尚克

Π

• Π-演算

三

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

偽

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

分

• 分布式计算

古

• 古特曼演算法

哥

• 哥德尔奖

密

• 密码学

工

• 工作量證明

布

• 布鲁克斯定理

並

• 并行计算

延

• 延遲 (排程)

形

• 形式化方法
• 形式语言

惠

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

拜

• 拜占庭将军问题

持

• 持有量證明

數

• 数据结构

最

• 最小平方頻譜分析法

正

• 正确性 (计算机科学)

算

• 算法
• 算法工程

粒

• 粒度运算

精

• 精确覆盖问题

編

• 编码理论

自

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

計

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

遞

• 递归定义

通

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

量

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