1) theory and intellection program
理论思维程序
3) Procedural Thinking
程序思维
4) theoretical thinking
理论思维
1.
Basic research on geography: geography theoretical thinking methodology;
地理学元研究:地理学理论思维方法论
2.
From a point of view of science thinking it was clarified that chemical experiment is not a pure perceptual knowledge process, but the process of "dissecting" for chemical natural essence under the direction of theoretical thinking.
化学实验不是一种纯粹的感性认识过程，它是在理论思维的指导下对化学的 自然本质进行“解剖”的过程，是理论思维的物
3.
According to the specific function that the theoretical thinking of mathematics has,this paper intends to discuss the significance and position of mathematics developments mathematics education and so on ,and also point out mistaken ideas and methods in the contemporary chinese mathematics education field.
依据数学哲学的理论思维所具有的特定功用作指导 ,对数学观、数学发展、数学教育在我国迈向 2 1世纪中的意义和地位作了论述 ,并指出了当代中国数学教育界中存在的误区及其改正的方向和办法 ,为大众数学教育体系在我国的建立添砖加
5) program theory
程序理论
1.
The concept of specification refinements based on problem theory,algorithm theory and program theory of Kestrel Institute of US is introduced.
介绍了美国Kestrel研究所的一种基于问题理论、算法理论和程序理论的规约精化思想,以及Kestrel如何应用这种思想渐进地形式化构造货物分发问题(GDP)的规约精化。
6) theoretically thinking ability
理论思维力
1.
By expounding how to develop strdents discernment,theoretically thinking ability and imagination,the paper shows how to develop students creative thinking ability in construction mechanics.
从培养学生的洞察力、理论思维力和想象力等方面说明了在结构力学的教学中 ,如何培养学生的创造性思维能
补充资料：程序理论
程序理论
theory of programs
程·65·型(集合)作为程序规约，而它们的元素就是满足规约的程序;用一组规则定义类型与其元素间的隶属关系，这些规则即是从规约产生程序的变换规则，又是一阶(直觉主义)逻辑的证明规则。因此，只要对给定的规约(逻辑命题)进行证明，就可以构造出符合此规约的程序。这样，程序规约、变换、验证都离于对规约的证明之中了。马丁洛夫理论的基本对象是a:A，其中A是一类型，a是类型A中的元素，称为A的居元。这个理论定义了几种基本类型:A~B，AxB，A+B，nx:声和凡:声，每种类型都由一组规则定义，这些规则确定了居元和类型间的关系。这个理论的基本对象a:A有多种解释，这些解释导致了它在程序设计和开发理论中的应用。例如:a:A可以解释为(居元:类型)、(证明:命题)、(程序:规约)等。以类型A~B为例，它有下述两条基本规则:、J了、.了，12子矛.‘、了r‘、x:A卜b:B触:.b:A一Bm:A~Bn:Amn:B 它们有三种解释: 解释1:(居元:类型)。规则(l)表示:若类型A有居元x可以推出类型B有居元b，则类型A~B有居元七.b。规则(2)表示:若类型A~B有居元m且类型A有居元n，则类型B有居元mn。其中，七.b，mn，m和n称为不项，前两者分别称为又-抽象和弄作用(见孟演算)。类型理论的重要结论是:给定典型居元a和类型A，可以在有限步内判断a是否为A的居元，这就是类型理论的强范式化性质。 解释2:(证明:命题)。采用直觉主义逻辑的观点，一个逻辑命题为真当且仅当存在此命题的证明。若把a:A解释为a是命题A的证明，把类型A~B解释为A蕴涵B。则规则(l)表示:若命题A有证明x可以推出命题B有证明b，则命题A~B有证明肚.b。规则(2)表示:若A‘B有证明m且命题A有证明n，则命题B有证明二n。若把规则(1)和(2)中的所有“证明”(类型的居元)去掉，它们就成为关于逻辑蕴牺的自然推理规则:些类型的规则就成为关于A(与)，V(或)，V(全称量词)和日(存在量词)的逻辑推理规则。这就是H创vard的“命题即类型”原则。 解释3:(程序:规约)。假定一阶逻辑语言作为规约语言，函数式语言作为程序语言，则不项:七、b，m。，m和n都将表示程序，而a:A可以解释为程序a满足规约A。规则(1)和(2)在这种情况下定义了程序与规约间的关系。规则(l)表示:若程序x满足规约A可以推出程序b满足规约B，则程序厄.b满足规约A~B。规则(2)表示:若程序m满足规约A~B，且程序。满足规约A，则程序mn满足规约B。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条