计算语言学名词

计算语言学 computational linguistics 一种涉及语言学、计算机科学和数学的边缘学科。用数学、计算机科学和技术的方法研究语言，研制计算机处理语言的软件。研究成果可用于自然语言理解与生成、语音识别与合成、机器翻译、信息检索、信息挖掘、文献自动分类、文献自动摘要、计算机辅助语言教学等领域。     

桃李不言下自成蹊——记青岛科技大学数理学院梁希泉教授

梁希泉教授研究方向是微分拓扑学,他是我国数学、数学问题计算机证明等方面的专家,也是国际Mizar-Group的重要成员之一,近10年来,他进行基于Mizar语言的自动推理与证明的研究,取得了一系列创新成果利用Mizar语言和其它相兼容的软件包在计算机上证明了矩阵论、数论、BCI和BCK代数、四元数代数、差分、微分、积分等诸多数学问题.     

通用人工智能的数学基础初探

通用人工智能(AGI)的数学基础,是计算机科学和神经科学这两种途径之外的第三种研究途径或方法,其核心是区分计算机的算术范式与学习机的统计范式乃至理解机的几何范式以及贯穿三者的逻辑范式,三类机器之间实现不同数学范式的相互映射和相互转换。其目的是探寻AGI的数学基础,这是智能机自动编程和理解各类模式的关键。如果通用学习机是AGI的基石,那么通用理解机则是理解毕达哥拉斯、康德和哥德尔等深刻哲思的关键。其意义在于:明确了探讨三类机器的统一数学原理的问题与探寻AGI的数学基础之间的关系,同时明确和验证了人工智能和计算机科学之间的关系。     

计算机科学史的轨迹:逻辑与技术

计算机科学史的研究忽略了计算机技术细节,根植于可计算理论的逻辑基础。可计算理论是计算机科学发展的基础核心,逻辑与工程技术的竞争与合作建构了计算机科学史发展的轨迹。     

理论语言学名词

语言学linguistics研究人类语言的学科。包括语言的本质、发展和起源以及语言的结构、功能、类型等等。传统的语言学以研究古代文献和书面语为主,现代语言学以当代语言和口语为主。从不同的角度,可以划分不同的门类或分支,如理论语言学和应用语言学,历时语言学和共时语言学等。     

理论语言学名词

语言学linguistics研究人类语言的学科。包括语言的本质、发展和起源以及语言的结构、功能、类型等等。传统的语言学以研究古代文献和书面语为主,现代语言学以当代语言和口语为主。从不同的角度,可以划分不同的门类或分支,如理论语言学和应用语言学,历时语言学和共时语言学等。     

开创IT新时代——访浙江大学计算机科学与技术学院高济教授

计算机科学是研究计算机基础理论、系统结构、计算机软件、以及计算机应用技术的一门新兴学科。随着人工智能、因特网计算、普适计算、移动计算、网格计算、服务计算、云计算等创新技术的不断涌现，计算机科学发展迅速，应用领域也不断拓广，已经渗透到人类社会的各个层面和角落，并且影响着人们的工作与生活。如今，社会的发展与进步已经离不开计算机，人们更是离不开计算机，因为计算机在改变世界的同时也改变了人们的生活。     

钱学森与中国计算机事业初创

钱学森为中国计算机事业创立与发展做出过重要贡献。在1956年“十二年科学规划”制定过程中，他多次参与或主持规划委的研讨会，积极建议发展计算机科技事业。在钱学森等人的推动下，“计算技术的建立”被列入科学规划57项重要科学任务和“四项紧急措施”之一，为国家大力建设和发展计算机科学技术提供了体制保障。钱学森还十分关心中国计算机专业人才培养，支持和推动国产计算机在导弹和航天型号研制工程中发挥作用。     

社会语言学名词

社会语言学sociolinguistics研究语言与社会之间相互关系的学科。有狭义和广义两说。狭义社会语言学又称“城市方言学”，主要研究语言的变异。广义社会语言学除语言变异研究外，还包含交际民族志学、语言社会学、语言社会心理学、会话分析、互动社会语言学等研究领域，研究对象主要是语言与交际、语言与文化、语言与民族、语言与社会心理。     

社会语言学名词

社会语言学sociolinguistics研究语言与社会之间相互关系的学科。有狭义和广义两说。狭义社会语言学又称“城市方言学”,主要研究语言的变异。广义社会语言学除语言变异研究外,还包含交际民族志学、语言社会学、语言社会心理学、会话分析、互动社会语言学等研究领域,研究对象主要是语言与交际、语言与文化、语言与民族、语言与社会心理。