数理逻辑 meaning in English
mathematical logic
Examples
- The tool mr barth is employing to effect this transition is linear temporal logic , a system of mathematical logic that can express detailed constraints on the past and the future
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。 - As is inherited from modal logic and another extension of mathematic logic , temporal logic assertion inference can solve such problems . it can be efficiently applied to the rule ' s organization and inference
作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。 - The method of mathematics logic also had great influence on camap . he was good at mathematics and symbol logic , so he could study the problem of confirmation with the tool of the methods of mathematical logic and probability logic to construct inductive logical system of the theory of probability confirmation
数理逻辑的发展对卡尔纳普的思想具有深刻的影响，为他的哲学研究提供了方法论工具。卡尔纳普在数学与逻辑方面的造诣，使他能够利用概率逻辑、数理逻辑的方法作为工具来研究归纳确证问题，从而构建了他的概率确证逻辑体系。 - Piaget has made significant contributes in the psychology of children ' s cognition as follows : first , he produces a complete theory of children ' s cognition structures which is full of dialectical thoughts ; second , he depicts the cognitive developing line of children from their birth to early youth ; third , he is the first psychologist one who introduce mathematical logic to draw children " development of thinking ; finally , he sets up the theoretical construction of genetic epistemology
2儿童认知发展理论的进展与思考2 1皮亚杰儿童认知结构理论的回顾皮亚杰对儿童认知心理学的主要贡献主要体现在以下几个方面：第一，提出了一套完整的、富有辨证思想的儿童认知结构理论；第二，描绘了儿童从出生到青年初期( 15岁)认知发展的路线；第三，首次采用数理逻辑作为刻化儿童逻辑思维发展的工具；第四，构造了发生认识论的理论框架。 - They are verbal - linguistic intelligence , logical - mathematical intelligence , visual - spatial intelligence , bodily - kinesthetic intelligence , interpersonal intelligence , intra - personal intelligence and musical - rhythmic intelligence . the seven particular intelligences emphasize that the intelligence should be practiced in the practice and can be influenced by environment and education . however the method , which is used to looking on multiple intelligences in many dimensions is put importance on by the theory of multiple intelligence itself
多元智力理论认为个体存在着7种相对独立的智力，即言语语言智力，数理逻辑智力，视觉空间智力，身体运动智力，人际交往智力，自知反省智力和音乐节奏智力，并指出这7种智力具有独特性，强调的是实际的能力，并受环境和教育的影响，而多元智力理论本身重视的是多维地看待智力的方法。