形式化方法

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

逻辑方法

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

大脑殻

拼音:dà nǎo qiào 首字母大写:DNQ五笔:dd eyr fpwc 大脑殻的同义词反义词
1.方言。谓大官。

打拍

拼音:dǎ pāi 首字母大写:DP五笔:rs rrg 打拍的同义词反义词
1.敲击。 2.唱曲时击盏以按节拍。 3.振作。

被褥

拼音:bèi rù 首字母大写:BR五笔:pub pudf 被褥的同义词反义词
被子和褥子;铺盖:那床~该拆洗了。

封甸

拼音:fēnɡ diàn 首字母大写:FD五笔:fffy ql 封甸的同义词反义词
1.都城郊外。

刑事诉讼法

拼音:xínɡ shì sù sònɡ fǎ 首字母大写:XSSSF五笔:gajh gk yry ywcy ifc 刑事诉讼法的同义词反义词
规定刑事诉讼程序的法律。我国在1979年制订刑事诉讼法,1996年作了修订,其内容包括任务、基本原则、管辖、回避、辩护与代理、证据、强制措施、附带民事诉讼、立案、侦查、起诉、审判、执行等。

安特卫普

拼音:ān tè wèi pǔ 首字母大写:ATWP五笔:pv cffy bg uo 安特卫普的同义词反义词
比利时最大港口和第二大经济中心。人口92万(1983年)。世界大港。有十二条重要铁路、七条欧洲公路在此交汇。工业发达。世界最大钻石加工和贸易中心。欧洲著名文化艺术城市。市内有皇家美术博物馆和中世纪教堂等。

反暴

拼音:fǎn bào 首字母大写:FB五笔:rc jaw 反暴的同义词反义词
1.叛乱。

瘫子

拼音:tān zǐ 首字母大写:TZ五笔:ucwy bb 瘫子的同义词反义词
1.瘫痪的人。

黄甲

拼音:huánɡ jiǎ 首字母大写:HJ五笔:amw lhnh 黄甲的同义词反义词
1.科举甲科进士及第者的名单。因用黄纸书写,故名。 2.指进士及第者。 3.一种大蟹。

柔艳

拼音:róu yàn 首字母大写:RY五笔:cnhs dhq 柔艳的同义词反义词
1.亦作"柔艳"。 2.柔美的花。 3.柔美。