形式化方法在古代就运用了,而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律,制定相应的逻辑规则,使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。形式化方法英文的名称是。
论理性信仰的衰落及其成因-法学哲学-论文中心 关键词:理性;批判;形式化;衰落 [gap=458]Keywords:rationality;critique;formalization;declination
基于824个网页-相关网页
...客观世界中的一些现象的相关概念而得到的模型;明确性(explicit)指所使用的概念及其约束条件都有明确的定义;形式化(formal)指本体是计算机可读的(即能被计算机处理);共享性(share)指本体中体现的是共同认可的知识,反映的是相关领域公认的概念集。
基于436个网页-相关网页
更具体地讲,海德格尔利用了胡塞尔对于普遍化(Generalisierung)与形式化(Formalisierung)的区别,然后更进一步,去除了形式化中还存留的对象化因素,从而达到了形式显示这样一个极具独创性的现象学-诠释学的方法或道路(...
基于140个网页-相关网页
形式化(Formalizing):学习者有意识的思维所注意到的性质,抽象出共同性质,并且能察觉依据心像以及抽象属性所建构出的内在物件之分类,在此为概念的二...
基于96个网页-相关网页
形式化方法 Formal Methods ; formalization method
通用形式化本体 GFO
形式化的证明 formal proof
哈密顿形式化 hamilton formulation
使形式化 formalize
形式化验证 formal verification ; formal authentication
非形式化康乐活动 informal recreational activities
形式化模型 Formal model ; formalized model ; Wireless Sensor Networks Model
形式化的 formalized ; [社科] formal
The purpose of formalization is to enhance the accuracy of its description.
为了增强MSC描述的精确性与灵活性,对其进行语义形式化。
参考来源 - 消息序列图的范畴论语义描述In this thesis, schematic summary about formal method is presented.
在本文中,我们首先对形式化方法作了一个概要的介绍。
参考来源 - 面向实时系统的实时区域时态逻辑:RRTLThe formal description of MRM is important for understanding MRM deeply. It is also the foundation of MRM theory.
多分辨率建模的形式化描述是深入理解多分辨率建模问题的切入点,也是多分辨率建模研究的理论基础。
参考来源 - 多分辨率建模的理论与关键技术研究are used to formalize relevant models of set of rules.
两种构造算子的描述逻辑包含公理对相关规则集进行形式化描述。
参考来源 - 基于MDA的本体建模方法研究Confrontation as an important stage of the court investigations, there is the phenomenon of formalization in our country.
质证作为法庭调查的重要阶段,在我国存在形式化的现象。
参考来源 - 论刑事被告人的质证权(研究生论文)Thirdly, I demonstratethat in modern society, the aim of rule of law is to pursue and public theformal rationality, which emphasizes on the objective and formality part oflaw.
三是形式主义。 在现代社会中,法治的核心就是对形式合理性的追求和张扬,它更注重法律客观化、形式化的一面。
参考来源 - 法学院的风格In practice, the current research follows the linguistic tradition of humor representation and attempts to formalize the essential features of humorous texts and their interpretations.
具体来说,本项研究依然在语言学的范围内展开论述,宗旨是对幽默文本的本质要素及其解读进行形式化的处理。
参考来源 - 言语幽默的图论模型·2,447,543篇论文数据,部分数据来源于NoteExpress
正如我所说,在古典芭蕾中,情感是通过一套严格形式化的动作来传递的。
As I said, in classical ballet, emotions are conveyed through a set of strictly formalized movements.
正如我们所学过的,古典芭蕾以形式化的动作和手臂、脚于身体的特定位置为基础。
As we have been studying, the classical ballet is based on formalized movements, specific positioning of the arms, feet and the body.
可风险不就是恐惧的一种形式化方式吗?
应用推荐