单选题
发布日期:2021-03-18
舒伯
加德纳
华生
霍兰德
在最广泛的层面上,类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上,它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的,并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中,类型论提供了设计分析和研究类型系统的形式基础。实际上,很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究,尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。另外在社会学和心理学上也有相关应用。
辅导,汉语词语,读音是fǔ dǎo,意思是帮助和指导。
理论,汉语词语,读音为lǐ lùn。一指在某一活动领域(如医学或音乐)中联系实际推演出来的概念或原理;二指理想的或假设的一系列事实、原理或环境;三指从对事实的推测、演绎、抽象或综合而得出的[对某一个或某几个现象的性质、作用、原因或起源的]评价、看法、提法或程式;四指讲理、计较;五指理睬;六指处理。
题王网让考试变得更简单
扫码关注题王,更多免费功能准备上线!
此试题出现在