חיפוש ברשת
מילון
חיפוש בפורום
类型理论 – מילון עברי-אנגלי
לצערנו, לא נמצאו תוצאות באנגלית עבור "类型理论"
Wikipedia 维基中文 免费百科全书
הורד מילון בבילון 9 למחשב שלך
类型论
在最广泛的层面上，
类型论
是关注把实体分类到叫做
类型
的搜集中的
数学
和
逻辑
分支。在这种意义上，它与
类型的形而上学概念
有关。现代类型论在部分上是响应
罗素悖论
而发明的，并在
伯特兰·罗素
和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
在
计算机科学
分支中的
编程语言
理论中，
类型论
提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对
编程语言
的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如
有类型 lambda 演算
的研究。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许
类型理论 – מילון עברי-עברי
לצערנו, לא נמצאו תוצאות בעברית עבור "类型理论"
Wikipedia 维基中文 免费百科全书
הורד מילון בבילון 9 למחשב שלך
类型论
在最广泛的层面上，
类型论
是关注把实体分类到叫做
类型
的搜集中的
数学
和
逻辑
分支。在这种意义上，它与
类型的形而上学概念
有关。现代类型论在部分上是响应
罗素悖论
而发明的，并在
伯特兰·罗素
和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
在
计算机科学
分支中的
编程语言
理论中，
类型论
提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对
编程语言
的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如
有类型 lambda 演算
的研究。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许
© 2007
מילון
G בבילון אונליין - נתמך ע"י מילון בבילון 9
