逻辑的

ddl

模式定义语言

模式是使用模式定义语言(DDL)给出的数据库整体逻辑描述,包括逻辑记录类型和记录之间的关系. 用语言书写的模式成为原模式,机器不能直接使用,必须将此摸使用机器代码表示,变为机器使用的模式,称为目标模式. 目标模式通常设计成表格形式,

declaration

宣告

但操作上需接触机械油等的工作容易发生油痤疮(Oil acne)则是事实.就结构而言,XML文件包含逻辑以及实质的结构.就实质结构而言,XML文件是以实体(entity)组合而成的,它以一个根结点做为启始,指向其他的结点实体(entity).而逻辑结构则包含宣告(declaration),元素(element),

dialectical logic

辩证逻辑

需要指出的是,法律逻辑学近年来也得到长足的发展,特别是哈格、普拉肯等人主张的"非单调逻辑"(non-monotone logic)、"辩证逻辑"(dialectical logic)等内容大大拉近了逻辑进路和修辞、对话进路的距离.

economy

节省

是现代所有科学的基本原则(也是人类历史上大部分时期的原则,能用一公斤泥土做成的罐子,且能保持功用,用两公斤就是浪费,没有效率嘛.至于里面逻辑,你去问古代人吧.节省恐怕就是逻辑.)所有的简化都出自节省(ECONOMY)这一个道理.你从福建到北京,

fait accompli

既成事实

我把这种现象称为"既成事实"(Fait accompli)现象,证券市场的逻辑和日常生活的逻辑,是无法相提并论的. 法国政治家和作家艾瑞欧特(Edouard Herriot)曾如此评价文化,他说当大家已经把所有一切都遗忘时,文化是唯一保存下来的东西.

formalize

形式化

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

karnaugh map

卡诺图

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

loopback test

回送测试

这样的网络号码用作本地软件回送测试(Loopback test)之用. 位于OSI第三层网络层,路由器是互联网中主要节点设备,路由器(Router)是用于连接多个逻辑上分开的网络,所谓逻辑网络是代表一个单独的网络或者一个子网. 当数据从一个子网传输到另一个子网时,

material implication

实质蕴含

在展示中,HP的忆阻器件能使用状态逻辑来执行实质蕴含(material implication)──即一个能被互连以创造任一种逻辑运作、类似于早期由NAND闸所组成的超级计算机的完全操作者.

mention

提及

中世纪逻辑关于词项的形式指代和实质指代的区分具有重要的意义,现代逻辑已经把它们区别为符号的"使用" (use)和"提及"(mention),形式指代相当于使用,实质指代相当于提及.

Senior Chief made the swim to the Aleutian Islands：军士长游泳去了阿留申群岛

Some people actually believe|有些人真的相信 | Senior Chief made the swim to the Aleutian Islands.|军士长游泳去了阿留申群岛 | He's standing on a distant beach somewhere|此时他正在某个遥远的海滩

plebeianism：庶民风格

plebeian 平民 | plebeianism 庶民风格 | plebiscitary 平民表决法令的