代数逻辑相关的词语大全

“代数逻辑” 相关的词语大全

拉姆齐二染色定理 [ lā mǔ qí èr rǎn sè dìng lǐ ]
拉姆齐二染色定理是由英国数理逻辑学家西塔潘（Seetapun）于20世纪90年代提出的一个猜想。十多年来，许多著名研…

五旌 [ wǔ jīng ]
指 印度 古因明学（即逻辑学）的五段推理法，后为新学三段推理法所代替。

笔盈盈 [ bǐ yíng yíng ]
代抄袭，完全不经思考，全部照搬硬套，纵然不符合逻辑也同样使用。

博弈逻辑 [ bó yì luó ji ]
博弈逻辑 - 简介 博弈论研究人类活动中的互动行为，在经济学中得到广泛的运用。在博弈论中，人类的所有活动，只要是互动…

数学 [ shù xué ]
研究现实世界的空间形式和数量关系的科学。初等数学包括算术、初等代数、初等几何和三角等。高等数学有数理逻辑、数论、代数…

恒等 [ héng děng ]
完全相等的；产生或实现同一的--主要指逻辑命题和数学的方程与演算所表示、产生或实现的方面。

计算数学 [ jì suàn shù xué ]
数学的一门分科。主要研究计算方法、数理逻辑和程序设计等方面的问题。20世纪中期以后，高速大容量电子计算机的飞速发展，…

主项 [ zhǔ xiàng ]
逻辑学中“主词”的别称其绝对值大于其他项(如在某个集合中)或大于其他各项之和的数学项

辨说 [ biàn shuō ]
（一）、辨析论述。（二）、论辩。辨，通“辩”。（三）、辩解，分辩。辨，通“辩”。（四）、中国古代逻辑名词。指推理和论…

谓词 [ wèi cí ]
（一）、数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。（二）、句子里谓语部分中的主要的词。参看〖谓语〗…

表达式 [ biǎo dá shì ]
表达式（expression）将同类型的数据（如常量、变量、函数等），用运算符号按一定的规则连接起来的、有意义的式子…

字符串 [ zì fú chuàn ]
简称“串”。有限字符的序列。数据元素为字符的线性表，是一种数据的逻辑结构。在计算机中可有不同的存储结构。在串上可进行…

累加器 [ léi jiā qì ]
在运算器中，专门存放算术或逻辑运算的一个操作数和运算结果的寄存器。能进行加、减、读出、移位、循环移位和求补等操作。是…

拉姆齐 [ lā mǔ qí ]
拉姆齐（Ramsly）二染色定理是由英国数理逻辑学家西塔潘（Seetapun）于20世纪90年代提出的一个猜想。十多…

罗素（russel ber [ luó sù ]
人名。（公元1872～1970）英国有名哲学家、数学家。其首要建树在数学及逻辑领域。公元一八九零年入剑桥三一学院。欧…

语义学 [ yǔ yì xué ]
语言学的分支学科。研究语言单位的意义方面。研究对象由词义扩展到句子的意义。注意运用义素分析法，深入到语义的微观层次。…

讲话 [ jiǎng huà ]
（一）、说话；发言：他很会讲话。这次座谈会没有一个不讲话的。来宾也都讲了话。（二）、指责；非议：你这样搞特殊，难怪人…

津逻 [ jīn luó ]
古代渡口上巡逻的士卒。《南史·王华传》：“﹝ 王华 ﹞随沙门 释曇冰 逃，使提衣襆从后，津逻咸疑焉。”《新唐书·李德…

公案比语 [ gōng àn bǐ yǔ ]
以古代禅师开悟的故事、非逻辑的言行，作为参禅时思惟的内容。这类的故事或言行，称为「公案」。因公案的深旨，意恒在言外，…

汇编语言 [ huì biān yǔ yán ]
一种面向机器的低级程序设计语言。是一种符号语言。由基本字符集、语句、标号及一组规则所组成。基本字符集通常包括二十六个…

名家 [ míng jiā ]
（一）、在学术或技能方面有突出成就或贡献的著名人物。（二）、战国时期以辩论名实关系（即概念与事实的关系）问题为中心的…

数控机床 [ shù kòng jī chuáng ]
拼音：shù kòng jī chuáng 概述 数控机床是数字控制机床(…

形式语言 [ xíng shì yǔ yán ]
将符号依照一定的规则，来表达语言的一种型式。　　为精确的表达概念与涵义、逻辑、数学与电脑等领域所使用的人工语言(ar…

指令系统 [ zhǐ líng xì tǒng ]
一台计算机所能执行的各种不同类型指令的总和。即一台计算机所能执行的全部操作。不同计算机的指令系统包含的指令种类和数目…

封建论 [ fēng jiàn lùn ]
散文篇名。唐代柳宗元作。“封建”指奴隶社会分封国土、建立诸侯国的分封制度。作者分析了这种制度的产生原因、形成过程及其…