形式化方法
拼音:xínɡ shì huà fānɡ fǎ 首字母大写:XSHFF五笔:gae aa wx yy ifc 形式化方法的同义词反义词
把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
逻辑方法
拼音:luó jí fānɡ fǎ 首字母大写:LJFF五笔:lqp lkb yy ifc 逻辑方法的同义词反义词
人们在逻辑思维过程中,根据现实材料按逻辑思维的规律、规则形成概念、作出判断和进行推理的方法。包括形式逻辑方法和辩证逻辑方法。形式逻辑方法包括普通(传统)逻辑方法(如综合、抽象、概括、定义、划分等)和现代形式逻辑方法(如形式化方法、公理化方法)。辩证逻辑方法包括归纳与演绎结合、分析与综合结合、逻辑的与历史的结合、抽象上升到具体等方法。
推荐内容
大脑殻
打拍
被褥
封甸
刑事诉讼法
拼音: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年)。世界大港。有十二条重要铁路、七条欧洲公路在此交汇。工业发达。世界最大钻石加工和贸易中心。欧洲著名文化艺术城市。市内有皇家美术博物馆和中世纪教堂等。