理论电脑科学 编辑
理论计算机科学是计算机科学的一个分支，它主要研究有关计算的相对更抽象化，逻辑化和数学化的问题，例如计算理论，算法分析，以及程序设计语言的语义。尽管理论计算机科学本身并非一个单独的研究主题，从事这个领域的研究人员在电脑科学的研究者里自成一派。
6
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
约翰·冯·诺伊曼，原名诺依曼·亚诺什·拉约什，出生于匈牙利的美国籍犹太人数学家，理论电脑科学与博弈论的奠基者，在泛函分析、遍历理论、几何学、拓扑学和数值分析等众多数学领域及电脑科学、量子力学和经济学中都有重大贡献。
斯蒂芬·科尔·克莱尼美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，算数阶层、克莱尼代数、Kleene星号、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
约翰·冯·诺伊曼，原名诺依曼·亚诺什·拉约什，出生于匈牙利的美国籍犹太人数学家，理论电脑科学与博弈论的奠基者，在泛函分析、遍历理论、几何学、拓扑学和数值分析等众多数学领域及电脑科学、量子力学和经济学中都有重大贡献。
解释是一种将形式语言中的符号赋予意义的行为。许多使用于数学、逻辑及理论电脑科学的形式语言都会以纯句法的方式定义，且直到给予某些解释之前，不含有任何意义。一般研究形式语言的解释的学科称为形式语义学。
斯蒂芬·科尔·克莱尼美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，算数阶层、克莱尼代数、Kleene星号、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
约翰·冯·诺伊曼，原名诺依曼·亚诺什·拉约什，出生于匈牙利的美国籍犹太人数学家，理论电脑科学与博弈论的奠基者，在泛函分析、遍历理论、几何学、拓扑学和数值分析等众多数学领域及电脑科学、量子力学和经济学中都有重大贡献。
约翰·冯·诺伊曼，原名诺依曼·亚诺什·拉约什，出生于匈牙利的美国籍犹太人数学家，理论电脑科学与博弈论的奠基者，在泛函分析、遍历理论、几何学、拓扑学和数值分析等众多数学领域及电脑科学、量子力学和经济学中都有重大贡献。
约翰·冯·诺伊曼，原名诺依曼·亚诺什·拉约什，出生于匈牙利的美国籍犹太人数学家，理论电脑科学与博弈论的奠基者，在泛函分析、遍历理论、几何学、拓扑学和数值分析等众多数学领域及电脑科学、量子力学和经济学中都有重大贡献。
约翰·冯·诺伊曼，原名诺依曼·亚诺什·拉约什，出生于匈牙利的美国籍犹太人数学家，理论电脑科学与博弈论的奠基者，在泛函分析、遍历理论、几何学、拓扑学和数值分析等众多数学领域及电脑科学、量子力学和经济学中都有重大贡献。
约翰·冯·诺伊曼，原名诺依曼·亚诺什·拉约什，出生于匈牙利的美国籍犹太人数学家，理论电脑科学与博弈论的奠基者，在泛函分析、遍历理论、几何学、拓扑学和数值分析等众多数学领域及电脑科学、量子力学和经济学中都有重大贡献。