数理语言学（Mathematical linguistics）又稱數學語言學，是运用数学的理论和方法来研究和说明语言的一门语言学分支学科。 数理语言学按照运用的数学方法可以分为： 组合语言学（又称为非数值语言学或质量语言学）：主要运用数学中的集论、数理逻辑、算法等研究语言 定量语言学或数值语言学...

语言地理学 社会语言学 方言学 方言地理学 心理语言学 認知語言學 应用语言学 语言教育 话语语言学 实验语言学 数理语言学 统计语言学 计算语言学 语料库语言学 翻译学 神经语言学 人类语言学 民族语言学 音韵学 词义学 训诂学 生成語言學 理论语言学 語際語言學 人文语言学的基本原则是语言...

传统的语言学称为语文学，以研究古代文献和书面语为主。在中国，传统上一直将音韵学、训诂学、文字学作为经学的一部分。现代语言学则以当代语言和口语为主。广义的语言学包括语文学。 這些學科也影響了對語言學的研究。例如，符號學是一個相關的領域，它涉及對一般標記與符號在語言中和語言外兩者的研究。文藝理論家們研究語言...

ISTE-Wiley. ISBN 978-1848219212. 自然语言处理 統計語義學 计算词汇学 计算语义学 数理语言学 语料库语言学 維基學院中的相關研究或學習資源：计算语言学 维基共享资源上的相关多媒体资源：计算语言学 计算机科学主题 语言学主题 Association for Computational...

计量语言学（Quantitative Linguistics）是语言学中数理语言学的一个分支，主要用数理统计方法研究和描述自然语言，形成系统的语言理论。计量语言学的一个主要流派为协同语言学（Synergetic linguistics）。计量语言学基于语言各层面的实证数据，因此经常采用语料库语言学和计算语言学的实证数据。...

語義學（英語：semantics）也作语意学，是以语言学观点研究语言意义的学科，也是对指称、意义或真理的研究。语义（semanteme）是语言单位本身具有的意义，其强调客观存在意义，意义应唯一，属语言意义。语意（meaning）是语言单位融入个人主观思想后所表达的意思，其强调情感和主观想法，意义并不唯一，属言语意义。 语义学涉及了语言学...

摩根都提出了一种处理逻辑问题的系统性的数学方法，但没有使用量化 (数理逻辑)。 戈特洛布·弗雷格1879年出版了一本关于逻辑学的书《概念文字》。书的完整标题为《模仿算术的纯思维的形式语言》。这本书被认为无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼...

统计语言学是数理语言学的一个分支，是运用统计学的方法研究各种语言现象的学科。 18世纪时，开始用统计学来解释语言的消失与保存。1880年代，青年语法学派中的一些学者也使用过统计方法来研究语言。自发明电子计算机以后，统计语言学得到了迅速发展。 统计语言学主要研究： 语言单位的出现频率...

社會語言學（英語：sociolinguistics）是语言学的一门分支學科。社会语言学主要研究社會的各層面（包含文化準則、社會規範或对话情境）對語言運用的影響以及语言对社会的影响。 社会语言学侧重于社会对语言的影响，因而不同于侧重于语言对社会的影响的语言社会学（sociology of...

语言学测试并研究人类大脑神经对于语言的理解、产出和习得；计算语言学基于描写语言学和理论语言学，构建语言的计算机模型来处理自然语言，测试语言学假说；而历史语言学利用词汇和语法描述追溯个别语言的历史，并常利用比较语言学的研究方法重构语言谱系。 一般认为，正式意义上的语言学...

学是研究意义生成和各种类型知识的科学分支。 符号学将符号和记号作为传播的重要组成部分进行研究。与语言学不同的是，符号学还研究非语言符号体系。符号学的研究涵盖了符号以及符号过程、指示、指定、相似、類比、託寓、轉喻、隐喻、象征、意指和传播。 通常认为，符号学具有重要的人类学和社会学...

数理社会学是运用数学构建社会学理论的学科。数理社会学的目标是将那些在直觉上很明显但并未形成正式观点的社会学理论，用正式的术语表达出来。这种做法的好处包括增强理论的明确性以及用数学找出直觉不能得出的理论内涵。数理社会学所偏好的研究方式可以概括为：“建立一个数学模型”。这意味着针对一些社会现象提出具体假...

作用的新发现而获得1969年诺贝尔物理学奖。盖尔曼通晓的学科极广，是一个百科全书式的学者，也是20世纪后期学术界少见的通才。除数理类的学科外，他对考古学、动物分类学、语言学等学科的知识也如数家珍。 六艺 博雅教育 跨学科研究 超级个体 Burns, Peter, "What makes a Renaissance...

法学其他学科 社会学 SHA 社会学史 SHB 社会学理论 SHC 社会学方法 SHD 实验社会学 SHE 数理社会学 SHF 应用社会学 SHG 比较社会学 SHH 社会地理学 SHI 政治社会学 SHJ 文化社会学 SHK 历史社会学 SHL 科学社会学 SHM 经济社会学 SHN 军事社会学 SHO 社会心理学...

認知語言學（英語：Cognitive linguistics）是語言學的一門頗新分支，它脫胎自認知心理學或認知科學，大約在1980年代後期至1990年代開始成型。認知語言學涉及電腦自然語言理解、人工智慧、語言學、心理學、神经科學、系統論等多種學科，它針對當時仍很火熱的生成語言學，提出：語言...

复合句子可能意味着: 在数理逻辑中，是由逻辑运算符连接起来的两个句子组成的句子。 在语言学中，是由多个独立子句通过相应的连词和/或标点连接起来的句子。...

计量经济学（英語：Econometrics），又译经济计量学，是以数理经济学和数理统计学为方法论基础，对于经济问题，试图以理论上的数量接近和经验（实证研究）上的数量接近这两者进行综合，而产生的经济学分支。 传统的经济学研究通过观察经济现象、建立经济模型，来分析单个或多个经济变量与其他经济变量之间的...

系代数、代数编码理论中重要的离散有限群、环和域、形式语言理论中的离散半群和幺半群。 离散数学充分描述了计算机科学离散性的特点。 理论计算机科学（Theoretical computer science）包含离散数学计算的领域，并特别注重图论和数理逻辑。理论计算机科学包括对计算数学结果的算法研究。可...

数理逻辑专业，任数理逻辑教研室主任。 作为中国数理逻辑教育和研究的开拓者之一，是中国第一批博士生导师，他在1965年出版的《数理逻辑导论》、1980年《数理逻辑初步》和1982年《数理逻辑教程》是中国最早的数理逻辑教材，既是他的讲义，也是自学青年的读本，既影响了从事数理...

《访问苏州太平军》 《诗人李太白》 《汉语文法》 《中西通书》 《中国语言学》 《重学浅说》 《光学图说》 《格致新学提纲》 《西国天学源流》 《中西通书》 《谈天》 《代數學》 《代微积拾级》 《圆锥曲线说》 《奈瑞数理》 《重学》 《植物学》 19至20世纪外国人研究北京方言的文献资料. [2008-06-24]...

在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。[需要解释（似乎翻译自英语而语焉不详）] 公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这...

黄伯荣的主要论文有《划分词类问题的考察》（语言学论丛第一辑）、《框架核心分析法》（1999年）、《广州话和普通话的语音比较》（方言与普通话集刊，1集，1958年）、《阳江话"入声非声"实验报告》（甘肃师大学报，1960:1）、《阳江音系》（亚非语言数理研究，26，1986，东京）、《广州话补语宾...

theory）相联系，主要分析以自然语言表达的论证，不像形式逻辑使用的是形式化语言来表达论证。作为可数名词时，“逻辑”指的是一种特定的逻辑形式系統，它阐述了证明系统（英语：proof system）的结构。逻辑在哲学、数学、计算机科学和语言学等诸多领域中都发挥着核心作用。...

狭义：现代语言学中，表示子句中的动词、形容词部分。名词短语不包括在内。 子句只有一个谓语。只有一个谓语的句子与子句无异，称为单句；有两个谓语或以上的句子则称为复句。 传统语法中的谓语受古希腊命题逻辑（与更现代的一阶谓格逻辑相对）的启发。在古希腊逻辑学...

學、土木工程、水利工程、化學工程與技術、核科學與技術、環境科學與工程、生物醫學工程、城鄉規劃學、風景園林學、軟體工程、管理科學與工程、工商管理、公共管理、設計學、會計與金融、經濟學和計量經濟學、統計學與運籌學、現代語言學等34個學科。 院系专业 双学士学位及交叉培养项目...

语言理论的发展。 佩尔·马丁-洛夫是斯德哥尔摩大学的校友。直到2009年退休前，他一直担任斯德哥尔摩大学的数学和哲学学院的联合主席这一职务。 他的长兄安德斯·马丁-洛夫（瑞典語：Anders Martin-Löf）是斯德哥尔摩大学的数理统计学荣誉教授；两人曾在概率论和数理...

计算机逻辑描述应用于计算机科学和人工智能的逻辑。它包括： 以在计算机科学中的应用为导向的逻辑学研究。例如：组合子逻辑和抽象释义； 以逻辑形式自然表达的计算机科学基本概念。例如：编程语言的形式语义，霍尔逻辑和逻辑编程； 计算理论的关注形式逻辑的基本问题的方面。例如：Curry-Howard对应和博弈语义；...

在数学学科模型论中，语言 L {\displaystyle {\mathcal {L}}} 的结构 A {\displaystyle {\mathfrak {A}}} (也叫做 ' L {\displaystyle {\mathcal {L}}} -结构'，并通常写为哥特体大写)是一个有序对，它的第一个成员是论域或全集...

《数理逻辑学期刊》（英語：Journal of Symbolic Logic）是一份由符号逻辑协会（英语：Association for Symbolic Logic）出版的具有同行評審的数学期刊，为一季刊。它成立于1936年，内容主要为数理逻辑相关内容。该期刊被《數學評論》、數學文摘及Scopus收录。其MCQ为0...

出的《一份名单》而受到保护。数学家熊庆来1969年被迫害致死，华罗庚被抄家3次、研究手稿散失，陈景润不堪造反派的侮辱曾跳楼自杀未遂。包括数理经济学家周华章、计算机学家周寿宪在内的至少8位曾留学美国的顶尖科学家被迫害而自杀，其他著名知识分子如梁思成、熊十力、田汉、老舍、周作人、翦伯赞、傅雷、吴晗等人被迫害致死或自杀。...

学。回到美国后，他知道自己一定会被记者提问敏感的政治问题，但他的家人尚留在中国，所以作了圆滑的回答。他在回答记者问题时对文革给了一些积极的评价，包括认同道听途说来的“文革没有死很多人”之说法、相信中国领导人有明智的治国方案、大锅饭的口味还不错等，他事后辩称是被假象蒙蔽了。不过同为知名数理学者的钱学...