逻辑

formal language

形式语言

所以这已经超出了"形式语言"(formal language)和"自然语言"(natural language)的问题. 更精微的问题应当是:添加多少逻辑的粘合剂才能解释自然语言是如何起作用的. 这似乎也是逻辑与语言学之间结合的关键. 问:这样看来,

辩证逻辑 formal logic形式逻辑

dialectical logic

logic n.逻辑,逻辑学,逻辑性 | dialectical logic辩证逻辑 formal logic形式逻辑 | mathematical logic数理逻辑 chop logic 诡辩,公孙龙,名家

formalize

形式化

目前为止,我们的一阶逻辑可以形式化(formalize)一些日常生活中的句子,把它变成一阶逻辑当中的语句,像是什麼所有男生都喜欢女生之类的.

glue

胶合

Altera公司自从事FPGA的开发研制以来,不断的进行技术创新,研制开发新产品. 该公司的基于CMOS的现场可编程逻辑器件同样具有高速、高密度、低功耗的特点. 近期,Altera公司主要有四个品种系列:胶合(glue)逻辑类的MAX,低价位的ACEX系列、高速FLEX系列、高密度的APEX 系列.

Hoover

胡佛

这有点如同一个特殊商标的成功,"胡佛"(hoover)成为了真空吸尘的代名词,"施乐"(xerox)成为了影印的代名词,"逻辑"这个词渐渐脱离了它的旧的、宽泛的范围,呈现出现代的、精细的指称,并为合情合理的或合理性的东西,即广义逻辑,

illogicality

矛盾

illogical 不合逻辑的 | illogicality 矛盾 | illogically 不合逻辑地

inclusive

包含

二、包含(inclusive)意义下的逻辑加(符号为"+(超文本阅读注释:要在这一符号右下方加一逗号)",有时直接用"+")的使用. Peirce这样定义逻辑加:

incompleteness theorem

不完整定理

当代最著名之逻辑学家哥德尔(Godel)却以"不完整定理"(Incompleteness Theorem)(14,17)证明这根本是不可能的. 一切逻辑系统,不论多么复杂,都不可能导出所有定理,其本身必是"不完整". 此亦证明佛家所言,思惟辩证、言语文字,均无法描述实相.

intension

强度

换言之, A和B中的概念的强度(intension)应该被映射到C的概念强度. 当前ONIONS方法学的实现是采用了Loom,一个支持基于完全表示描述逻辑的分类服务的知识表示系统. 其开发方法使用了基于描述逻辑设计库的模块并且做了普通理论的扩展使用,

karnaugh map

卡诺图

由于这种方格图是由一位名叫卡诺(Karnaugh)的美国人发明的,因此人们通常将其称为卡诺图(Karnaugh Map). 卡诺图不仅可以用来描述逻辑函数,而且更重要的是他还可以用来化简逻辑函数. 一个函数可以用表达式表示,也可以用真值表来描述,

tram stop：(有轨)电车车站

post 邮局 | tram-stop(有轨)电车车站 | zebra-crossing 斑马线

Jaish-e-Mohammad,JEM：穆罕默德军

16. 乌兹别克斯坦伊斯兰运动Islamic Movement of Uzbekistan,IMU | 17. 穆罕默德军Jaish-e-Mohammad,JEM | 18. 伊斯兰祈祷团Jemaah Islamiya Organization,JI