计算机科学的一个分支。研究应用计算机来模拟人类的某些智力活动，从而代替人类的某些脑力劳动。是一门涉及数学、心理学、生物学、语言学、经济学、哲学和法律学等的综合性学科。主要研究模式识别、学习过程、探索过程、推理过程等。

中国的综合性大学。校址在济南。创建于1901年，初名山东大学堂。后校名和校址多次变更和迁移。一度停办。1951年和华东大学合校，称山东大学。设有经济学院、化学学院等以及中国语言文学、历史学、哲学、数学、计算机科学等系。

简称“三角”。数学的一门分科。包括平面三角学和球面三角学。前者研究三角函数的性质和图像、三角函数式的恒等变换和解三角形等。后者研究球面三角形的边角关系，以及已知球面三角形的三个基本元素，计算它的其他基本元素的问题。

1.蜮的异名。 2.数学名词。即投影。

1.数学名词。四条直线在同一平面上所围成的几何图形。

1. 数学用表。如:积分表、三角函数表等。

亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

1.数学的一个分科，主要研究正整数的性质及其有关的规律。按研究方法的不同，大致可分为初等数论﹑代数数论﹑几何数论﹑解析数论等。

中国的多科性综合大学。校址在成都。创建于1931年。设有经济管理学院、工程技术学院、农村建设学院等，以及中日语言文学、历史学、法律学、数学、物理学、化学、生物学等系。

瑞士的理工学院。1855年创建于苏黎世。设有建筑、土木工程、机械、电子、信息、材料、化学、制药、森林、农业、乡村工程、测量、数学和物理、自然科学、军事科学、哲学和社会学等十六个系和九十个研究所。