分类:理论计算机科学

J

• 計算理論 (7个分类， 38个页面)

L

• 离散数学 (9个分类， 15个页面)

伪

• 伪随机性 (1个分类， 2个页面)

信

• 信息论 (10个分类， 54个页面)

形

• 形式方法 (8个分类， 22个页面)
• 形式语言 (6个分类， 68个页面)

理

• 理论计算机科学家 (1个分类， 21个页面)
• 理论计算机科学数学定理 (1个页面)

算

• 算法 (42个分类， 76个页面)

编

• 編程語言語義 (5个页面)

计

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

语

• 語義學 (20个分类， 75个页面)

进

• 進化計算 (2个分类， 1个页面)

重

• 重写系统 (1个分类， 3个页面)

量

• 量子信息科学 (5个分类， 24个页面)

• 理論計算機科學

D

• DNA運算

N

• NL完全

Q

• 量子演算法

S

• 罗杰·尚克

Π

• Π-演算

三

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

伪

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

分

• 分布式计算

古

• 古特曼演算法

哥

• 哥德尔奖

密

• 密码学

工

• 工作量證明

布

• 布鲁克斯定理

并

• 并行计算

延

• 延遲 (排程)

形

• 形式化方法
• 形式语言

惠

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

拜

• 拜占庭将军问题

持

• 持有量證明

数

• 数据结构

最

• 最小平方頻譜分析法

正

• 正确性 (计算机科学)

流

• 流形假设

算

• 算法
• 算法工程

粒

• 粒度运算

精

• 精确覆盖问题

编

• 编码理论

自

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

计

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

递

• 递归定义

通

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

量

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