逻辑符号

arithmetic unit

运算器

4)运算器 运算器(Arithmetic unit)是计算机实施算术运算和逻辑判断的主要部件. 在控制器的控制下,它能按照计算机程序的要求,进行加、减、乘、除等基本运算和进行判别数的符号、比较数的大小等逻辑运算. 5)控制器 控制器(Controller)是指挥、控制计算机运行的中心.

evolutionism

进化主义

(3)行为主义(actionism),又称为进化主义(evolutionism)或控制论学派(cyberneticsism),其原理为控制论及感知-动作型控制系统. 他们对人工智能发展历史具有不同的看法. 1、符号主义 认为人工智能源于数理逻辑. 数理逻辑从19世纪末起得以迅速发展,

existential quantifier

存在量词

对于谓词所作用的个体数量,一阶逻辑只关心两种情况,一种情况是谓词作用个体域中所有的个体,这时用全称量词(universal quantifier)(使用符号'')来刻划,一种情况是谓词作用个体域中某些个体,这时用存在量词(existential quantifier)(使用符号'')来刻划.

inclusive

包含

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

mention

提及

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

universal quantifier

全称量词

对于谓词所作用的个体数量,一阶逻辑只关心两种情况,一种情况是谓词作用个体域中所有的个体,这时用全称量词(universal quantifier)(使用符号'')来刻划,一种情况是谓词作用个体域中某些个体,这时用存在量词(existential quantifier)(使用符号'')来刻划.

realism

唯实论

总之,中国只有"唯名论"(nominalism),而无"唯实论"(realism). "唯名论"与现象论又是互有相当的关系. 首先,中国古代逻辑是关于汉语言文字的语义语用学. 符号学旨在讨论人类运用符号的方法与过程、符号的性质及其指涉等问题,

symbol

记号

②皮尔斯(Charles Sanders Peirce),美国逻辑学家,与文化学者索绪尔同时代的人物,他将符号分为图像(icon)、标志(index)、记号(symbol)三类,他认为这三类符号经常互相重叠,互有关联.

union

联合

有了这个符号,正则表达式的灵活性增强了,使得它可以匹配不止一个字符串,"或"(操作)有时候也被叫做"联合"(union)或者逻辑或(OR). 有了这个符号,正则表达式的灵活性增强了,使得它可以匹配不止一个字符串,

venn diagram

范氏图

1881年英国数学家范恩(John Venn, 1834-1923)出版的<<符号逻辑>>(Symbolic Logic)书中,改良了尤拉的原始想法,创造出知名的范氏图(Venn diagram). 范氏图的方法是处理牵涉到命题变数的逻辑论证. 各个命题变数分别以互相重叠的圆来表示,

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul