逻辑符号

arithmetization

算术化

原先作为可直观的几何学发展成纯粹的解析几何,接踵而来的纯形式的「解析学(analysis)」、「集合论(theory of manifolds)」、「符号逻辑(logistic)」都意味着「算术化(arithmetization )」所导致的普遍「形式化(formalization )」,

Full Text

全文

除使用逻辑算符(AND 、OR和 NOT)、括号、位置算符、截词符和词根符等符号进行扩、缩检外;还可对不同的数据库、文档、可检字段(包括关键词(Keyword)、题名(Title)、著者(Author Name)、文摘(Abstract)、全文(Full Text)及所有字段(All Field

indentation

内缩

3.Pseudo code(虚拟码):主要是运用结构化程序设计的基本逻辑结构、内缩(indentation)的撰写方法及程序语言中的符号说明程序的步骤,不仅可提供程序设计的参考,更可避免直接撰写程序的缺点.

inexplicable

神秘的

Illogical没逻辑 | Inexplicable神秘的 | Symbols符号

mechanize

机械化

"代数使数学机械化(mechanize),因而使思考和运算步骤变得简单,而无须花很大的脑力. 这有可能使数学创造变成一种几乎是一种自动化(automatic)的工作. 甚至逻辑上的原理和方法也可能用符号来表达,而整个体系则可用之于使一切推理过程机械化(mechanize)".

neologism

语词新作

12.语词新作(neologism)指概念的融合、浓缩以及无关概念的拼凑. 患者自创一些新的符号、图形、文字或语言并赋予特殊的概念. 如"犭市"代表狼心狗肺:"%"代表离婚. 多见于精神分裂症青春型. 13.逻辑倒错性思维(paralogismthinking)主要特点为推理缺乏逻辑性,

network analysis

网 分析

李:虽然我们电机系总得念微积分,但有限数学里的符号逻辑部门,是我们研究电网分析(Network analysis)和电子计算机设计时少不了的东西. 师:这也省掉我不少事. 现在我想从排列(Permutation)的观点再来讨论一下鬼脚. 我们只研究一个有限集合S上的排列,

null set

空集

两个在数学集合中,空集(null set)也叫作 empty set,是不包含任何东西的集合. 它的符号是{ }. 只有一个空集,这是 因为从逻辑上,只有一种方式能够不包括任何东西. 空集使得可以对某个集合上进行操作所得的结果进行精确的描述,

Pop Art

(流行艺术)

与媚俗文化相应,波德里亚对"流行"艺术(pop art)的分析是十分深刻的. 他提出了两个很有趣的问题:1、流行艺术是符号和消费逻辑的当代艺术形式,还是一种纯粹的文化消费物品?2、流行艺术是"去魅了的艺术",还是再次把艺术"圣化"了?

predicate variable

谓词变量

谓词逻辑 predicate logic | 谓词变量 predicate variable | 谓词符号 predicate symbol

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;