跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
搜索
搜索
Category
:
理论计算机科学
55种语言
العربية
تۆرکجه
Башҡортса
Boarisch
Беларуская (тарашкевіца)
Български
বাংলা
Bosanski
Català
Čeština
Cymraeg
Dansk
Deutsch
Ελληνικά
English
Esperanto
Español
Euskara
فارسی
Suomi
Français
हिन्दी
Hrvatski
Հայերեն
Interlingua
Bahasa Indonesia
Íslenska
Italiano
日本語
ქართული
한국어
Lëtzebuergesch
Македонски
മലയാളം
Монгол
Bahasa Melayu
Nederlands
Norsk nynorsk
Norsk bokmål
Português
Română
Русский
Scots
Srpskohrvatski / српскохрватски
Simple English
Slovenčina
Slovenščina
Српски / srpski
Svenska
ไทย
Tagalog
Türkçe
Українська
اردو
Tiếng Việt
编辑链接
分类
讨论
不转换
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
获取短链接
下载二维码
打印/导出
下载为PDF
打印页面
在其他项目中
维基共享资源
维基数据项目
外观
移至侧栏
隐藏
帮助
维基百科,自由的百科全书
頁面分類
>
计算机科学
> 理论计算机科学
頁面分類
>
人类社会
>
知識
>
科学
>
计算机科学
> 理论计算机科学
頁面分類
>
人类社会
>
知識
>
学科
>
计算机科学
> 理论计算机科学
维基共享资源
上的相关多媒体资源:
理论计算机科学
有關本
分類
的更多信息,请参阅「
理论计算机科学
」。
子分类
本分类有以下16个子分类,共有16个子分类。
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个页面)
分类“理论计算机科学”中的页面
以下41个页面属于本分类,共41个页面。
理論計算機科學
D
DNA運算
N
NL完全
Q
量子演算法
S
罗杰·尚克
Π
Π-演算
三
三个世界理论 (信息学)
伪
伪多项式时间
伪随机性
分
分布式计算
古
古特曼演算法
哥
哥德尔奖
密
密码学
工
工作量證明
布
布鲁克斯定理
并
并行计算
延
延遲 (排程)
形
形式化方法
形式语言
惠
惠特尼不等式
惠特尼定理
拜
拜占庭将军问题
持
持有量證明
数
数据结构
最
最小平方頻譜分析法
正
正确性 (计算机科学)
流
流形假设
算
算法
算法工程
粒
粒度运算
精
精确覆盖问题
编
编码理论
自
自动推理
自動機理論
自旋電子學
計
計算複雜性理論
计
计算几何
递
递归定义
通
通粹纠缠度 (量子计算)
量
量子機器學習
量子计算机
分类
:
计算机科学分支
形式科學
隐藏分类:
使用Catnav的页面
维基共享资源分类链接使用了维基数据上的匹配项