מילון אונליין

  חיפוש ברשת      מילון      חיפוש בפורום

 

类型理论 – מילון עברי-אנגלי

לצערנו, לא נמצאו תוצאות באנגלית עבור "类型理论"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
类型论
在最广泛的层面上,类型论是关注把实体分类到叫做类型的搜集中的数学逻辑分支。在这种意义上,它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的,并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。

计算机科学分支中的编程语言理论中,类型论提供了设计分析和研究类型系统的形式基础。实际上,很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究,尽管有些人把它限制于对更加抽象的形式化如有类型 lambda 演算的研究。


访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许

类型理论 – מילון עברי-עברי

לצערנו, לא נמצאו תוצאות בעברית עבור "类型理论"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
类型论
在最广泛的层面上,类型论是关注把实体分类到叫做类型的搜集中的数学逻辑分支。在这种意义上,它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的,并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。

计算机科学分支中的编程语言理论中,类型论提供了设计分析和研究类型系统的形式基础。实际上,很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究,尽管有些人把它限制于对更加抽象的形式化如有类型 lambda 演算的研究。


访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许




© 2007 מילון G בבילון אונליין - נתמך ע"י מילון בבילון 9