新工具
拼音:xīn ɡōnɡ jù 首字母大写:XGJ五笔:usr a hw 新工具的同义词反义词
英国弗兰西斯·培根著。书中批判了经院哲学的观点,认为人是自然的解释者。还较全面而详细地分析、论述了归纳方法,为归纳逻辑奠定了基础。
形式化方法
拼音:xínɡ shì huà fānɡ fǎ 首字母大写:XSHFF五笔:gae aa wx yy ifc 形式化方法的同义词反义词
把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
性格
拼音:xìnɡ ɡé 首字母大写:XG五笔:ntg stk 性格的同义词反义词
人对现实的态度和行为方式中较稳定的个性心理特征。是个性的核心部分,最能表现个别差异。具有复杂的结构,大体包括:(1)对现实和自己的态度的特征,如诚实或虚伪、谦逊或骄傲等。(2)意志特征,如勇敢或怯懦、果断或优柔寡断等。(3)情绪特征,如热情或冷漠、开朗或抑郁等。(4)情绪的理智特征。如思维敏捷、深刻、逻辑性强或思维迟缓、浅薄、没有逻辑性等。
演绎证明
拼音:yǎn yì zhènɡ mínɡ 首字母大写:YYZM五笔:ipgw xcg yg je 演绎证明的同义词反义词
“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识,论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。
因明
拼音:yīn mínɡ 首字母大写:YM五笔:ld je 因明的同义词反义词
1.亦称"因明论"。
2.古代印度五明之一。音译为醯都费陀,意译为因明。"因"指原因﹑根据﹑理由;"明"义为学术。因明即关于逻辑推理的学说,随佛教传入中国。
指令系统
拼音:zhǐ lìnɡ xì tǒnɡ 首字母大写:ZLXT五笔:rx wyc txi xyc 指令系统的同义词反义词
一台计算机所能执行的各种不同类型指令的总和。即一台计算机所能执行的全部操作。不同计算机的指令系统包含的指令种类和数目也不同。一般均包含算术运算型、逻辑运算型、数据传送型、判定和控制型、输入和输出型等指令。
宗因
主词
拼音:zhǔ cí 首字母大写:ZC五笔:y yngk 主词的同义词反义词
1.逻辑名词。或称"主项"。一个命题的三个部分之一,表示判断的对象。如"太阳是恒星"这个命题中的"太阳"是主词。
2.语法名词。见"主语"。
字符串
拼音:zì fú chuàn 首字母大写:ZFC五笔:pb twf kkh 字符串的同义词反义词
简称“串”。有限字符的序列。数据元素为字符的线性表,是一种数据的逻辑结构。在计算机中可有不同的存储结构。在串上可进行求子串、插入字符、删除字符、置换字符等运算。