1) mathemmatical logic and man-made intellectual faculties
数理逻辑与人工智能
3) logic mathematics intelligence
逻辑数学智能
1.
Making statistical analysis,we verify the person s space sense and vision intelligence,language intelligence and logic mathematics intelligence are incompletely related each other.
通过对广西师范大学、桂林电子工业学院和桂林工学院三年级广西籍学生的抽样调查并进行统计分析,论证了人的七个智力中心中的空间视觉智能、语言智能和逻辑数学智能之间是不完全相关的。
2.
Stressing on the ability of using logic mathematics thinking to solve problems, the logic mathematics intelligence of the theory refers to the ability of using numerals and reasoning.
其中的逻辑数学智能是指有效运用数字和推理的能力,强调了运用逻辑数学思维解决问题的能力。
4) logical-mathematics intelligence
逻辑-数学智能
5) logical-mathematical intelligence
数学逻辑智能
6) mathematical logic
数理逻辑
1.
By means of the language of mathematical logic the invariance of Hamilton principle under canonical transformation is expressed and proved.
用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。
2.
In the fields of mathematical logic and computer science this system is applied to the medium modal logic and the base of MILL,a medium language of program.
在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。
3.
Proposition logic takes the proposition as the fundamental research object mathematization logical system,propo- sition logic is the mathematical logic foundation,also is the theoretical basic of computer science and the technical.
命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统,命题逻辑是数理逻辑的基础,也是计算机科学与技术的理论基础。
补充资料：华中科技大学图像识别与人工智能研究所
图像识别与人工智能研究所(简称图像所)是1978年由教育部和航天部共同批准建立，为发展航空航天器进行中制导、末制导关键技术的预先研究和攻关工作。1984年获得"模式识别与智能控制"硕士学位授予权，1990年获 "模式识别与智能系统"博士学位授予权。1993年批准为 "图像信息处理与智能控制"国家教委开发实验室，1999年升格为教育部重点实验室。1998年3月由航天总公司和国家教委共同批准命名为"中国航天图像识别技术研究所",与航天总公司共建。现有科研、教学人员30人， 45岁以下的人员占70%，75%的人员具有博士、硕士学位。现有·教学科研用房近10000 平方米."九五"期间获得教育部211工程"多谱段信息处理及其应用"重点学科建设投资1200万元，航天工业总公司和国防科工委型号项目配套技术改造投资1500万元，部门投资近1000万元,航天关键技术等研究经费1826万元。本学科点已形成先进、配套的科研、教学、开发环境和雄厚的技术储备，有一支层次高，年龄、专业结构合理的科研教学梯队。
模式识别与智能系统是信息科学技术领域中发展最迅速的前沿领域之一，不仅科学意义深远而且有十分广阔的应用前景。主要研究方向有：
1.计算机视觉与应用
2.模式识别与精确制导
3.多谱成像与遥感图像处理
4.人工智能与认知科学
5. 模式识别的处理机结构与软件系统
6.集成电路及系统芯片的研究与设计
今后五年我所将逐步形成在国际上有影响的研究开发中心，培养国际一流的高层次人才，能够解决国民经济、国防建设所急需的关键技术，为国家提供具有自主版权的软/硬件应用系统、软/硬件集成技术和新型电子设备、部件的设计。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条