形式化方法

形式化方法的同义词反义词
xíng shì huà/huā fāng fǎ把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。

逻辑方法

逻辑方法的同义词反义词
luó jí fāng fǎ人们在逻辑思维过程中,根据现实材料按逻辑思维的规律、规则形成概念、作出判断和进行推理的方法。包括形式逻辑方法和辩证逻辑方法。形式逻辑方法包括普通(传统)逻辑方法(如综合、抽象、概括、定义、划分等)和现代形式逻辑方法(如形式化方法、公理化方法)。辩证逻辑方法包括归纳与演绎结合、分析与综合结合、逻辑的与历史的结合、抽象上升到具体等方法。
推荐内容

惊怆

惊怆的同义词反义词
jīng chuàng1.惊骇而悲伤。

惊鸿

惊鸿的同义词反义词
jīng hóng惊飞的鸿雁。比喻体态轻盈的美女:翩若惊鸿|惊鸿照影。

倚偎

倚偎的同义词反义词
yǐ wēi1.亲热地倚靠在一起。

造言生事

造言生事的同义词反义词
zào yán shēng shì捏造虚言以挑起事端。

一隅之地

一隅之地的同义词反义词
yī yú zhī dì隅:角落。形容地域狭小。

浮世

浮世的同义词反义词
fú shì1.人间,人世。旧时认为人世间是浮沉聚散不定的,故称。

一言订交

一言订交的同义词反义词
yī yán dìng jiāo形容双方意气相投,刚一交谈,就成了至交。

感怆

感怆的同义词反义词
gǎn chuàng1.感慨悲伤。

缝缝连连

缝缝连连的同义词反义词
féng/fèng féng/fèng lián lián泛指缝补工作:拆拆洗洗、~的活儿,她都很内行。

逞艺

逞艺的同义词反义词
chěng yì1.炫耀技艺。