形式化方法
形式化方法的同义词反义词
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.炫耀技艺。