Download the app
educalingo
Search

Meaning of "符号逻辑" in the Chinese dictionary

Dictionary
DICTIONARY
section

PRONUNCIATION OF 符号逻辑 IN CHINESE

hàoluó
play
facebooktwitterpinterestwhatsapp

WHAT DOES 符号逻辑 MEAN IN CHINESE?

Click to see the original definition of «符号逻辑» in the Chinese dictionary.
Click to see the automatic translation of the definition in English.

Mathematical logic

数理逻辑

Mathematical logic is a branch of mathematics, its research object is to prove and calculate the two intuitive concept of symbolic system after the form. Mathematical logic is an indispensable part of the mathematical foundation. The research scope of mathematical logic is part of the logic that can be modeled mathematically. Formerly known as symbolic logic (as opposed to philosophical logic), also known as meta-mathematics, the latter's use is now limited to some aspects of proof. ... 数理逻辑是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学,后者的使用现已局限于证明论的某些方面。...

Definition of 符号逻辑 in the Chinese dictionary

Symbolic logic Mathematical logic. 符号逻辑 数理逻辑。
Click to see the original definition of «符号逻辑» in the Chinese dictionary.
Click to see the automatic translation of the definition in English.

CHINESE WORDS THAT BEGIN LIKE 符号逻辑

符号
符号
节官

CHINESE WORDS THAT END LIKE 符号逻辑

传统逻辑
形式逻辑
数理逻辑
普通逻辑
现代逻辑
访
辩证逻辑
逻辑

Synonyms and antonyms of 符号逻辑 in the Chinese dictionary of synonyms

SYNONYMS

Translation of «符号逻辑» into 25 languages

TRANSLATOR
online translator

TRANSLATION OF 符号逻辑

Find out the translation of 符号逻辑 to 25 languages with our Chinese multilingual translator.
The translations of 符号逻辑 from Chinese to other languages presented in this section have been obtained through automatic statistical translation; where the essential translation unit is the word «符号逻辑» in Chinese.

Chinese

符号逻辑
1,325 millions of speakers

Translator Chinese - Spanish

Symbolic Logic
570 millions of speakers

Translator Chinese - English

Symbolic Logic
510 millions of speakers

Translator Chinese - Hindi

प्रतीकात्मक तर्क
380 millions of speakers
ar

Translator Chinese - Arabic

المنطق الرمزي
280 millions of speakers

Translator Chinese - Russian

Символическая логика
278 millions of speakers

Translator Chinese - Portuguese

Symbolic Logic
270 millions of speakers

Translator Chinese - Bengali

প্রতীকী লজিক
260 millions of speakers

Translator Chinese - French

Symbolic Logic
220 millions of speakers

Translator Chinese - Malay

Logik simbolik
190 millions of speakers

Translator Chinese - German

Symbolic Logic
180 millions of speakers

Translator Chinese - Japanese

記号論理学
130 millions of speakers

Translator Chinese - Korean

기호 논리
85 millions of speakers

Translator Chinese - Javanese

Logic simbolis
85 millions of speakers
vi

Translator Chinese - Vietnamese

symbolic Logic
80 millions of speakers

Translator Chinese - Tamil

சிம்பாலிக் தர்க்கம்
75 millions of speakers

Translator Chinese - Marathi

प्रतिकात्मक तर्कशास्त्र
75 millions of speakers

Translator Chinese - Turkish

Sembolik Mantık
70 millions of speakers

Translator Chinese - Italian

Symbolic Logic
65 millions of speakers

Translator Chinese - Polish

Symbolic Logic
50 millions of speakers

Translator Chinese - Ukrainian

символічна логіка
40 millions of speakers

Translator Chinese - Romanian

Logic simbolic
30 millions of speakers
el

Translator Chinese - Greek

συμβολική Λογική
15 millions of speakers
af

Translator Chinese - Afrikaans

simboliese logika
14 millions of speakers
sv

Translator Chinese - Swedish

symbolisk logik
10 millions of speakers
no

Translator Chinese - Norwegian

Symbolic Logic
5 millions of speakers

Trends of use of 符号逻辑

TRENDS

TENDENCIES OF USE OF THE TERM «符号逻辑»

0
100%
The map shown above gives the frequency of use of the term «符号逻辑» in the different countries.

FREQUENCY OF USE OF THE TERM «符号逻辑» OVER TIME

The graph expresses the annual evolution of the frequency of use of the word «符号逻辑» during the past 500 years. Its implementation is based on analysing how often the term «符号逻辑» appears in digitalised printed sources in Chinese between the year 1500 and the present day.

Examples of use in the Chinese literature, quotes and news about 符号逻辑

EXAMPLES

10 CHINESE BOOKS RELATING TO «符号逻辑»

Discover the use of 符号逻辑 in the following bibliographical selection. Books relating to 符号逻辑 and brief extracts from same to provide context of its use in Chinese literature.
1
微型计算机原理及应用 - 第 81 页
辑或,一般则使用“ v ”表示逻辑或。图 4 - 5 给出了逻辑或的真值表、门电路符号逻辑表达式及运算示例。输入输出祭器 A >1 T 01000101 0 1 1 B v 00110001 - 01110101 逻辑表达式 T = A + B ( a )真值表( b )或门电路( c )示例图 4 - 5 逻辑或的真值表 ...
姚俊婷, ‎张青, 2006
2
2005年全国工程硕士逻辑考前辅导教程及模拟题库 - 第 239 页
第三部分分析推理分析推理能力测试主要考查考生的普通分析能力,即考生运用所掌握的日常知识和一般逻辑推理知识,处理和解决日常生活和工作中某些疑难 ... A 类符号(逻辑符号) :户表示"并非" ;八表示"并且" ; V 表示"或者" ; + 表示充分条件"如果.
杨武金, 2005
3
现代逻辑基础 - 第 195 页
1903 年,罗素独自发表《数学原则》(丁 1 ^ ^111011)165 01 111160103 〉,以实现两重一致的目的: "第一,表明所有数学都导自符号逻辑,第二,尽可能地发现什么是符号逻辑本身的原则。〃之后,罗素又与怀特海 0 ' ^ ^ " 1 1 ^ 61168 ( 1 1861—1947 ^合作, ...
金守臣, 1987
4
数字逻辑电路设计 - 第 32 页
或非门实现或非逻辑关系,图 2 - 24 是两输人或非门的逻辑符号,逻辑表达式为 F = A 十 B 。表 2 - 5 是或非门的真值表,由表可郑,或非门只要有一个输人为 1 ,则输出为 0 ;只有当所有的输人为 0 时。输出才会是 1 状态。表 2 寸或非门真值表田 2 - 24 或非 ...
鲍可进, 2004
5
人工智能基础教程 - 第 353 页
而这一切"思维"活动都是建立在某种逻辑之上的,因此逻辑是人工智能的基础。传统的人工智能儿乎都是建立在经典逻辑(特别是符号逻辑或标准数理逻辑)的基础之上的。传统人工智能摄主要的成就体现在专家系统和自动定理证明两个方面。例如:包括 ...
朱福喜, ‎朱三元, ‎伍春香, 2006
6
酒神与日神的符号: 郎格《情感与行式》导引 - 第 12 页
中逻辑分析哲学这一重要的流派。数理逻辑之所以也称为符号逻辑,主要是因为它具有一个庞大的符号公式体系,这些符号使人们的抽象思维和计箅更为精确;同时,符号還辑也研究推理过程中和计算过程中的逻辑问题。符号逻辑中的符号体系,其实就是莱 ...
文德培, 1993
7
数字设计基础与应用 - 第 16 页
图 1 - 9 是或逻辑的电路示意图,只要开关 A 或 B 闭合,灯 L 就亮。逻辑代数中将或逻辑定义为或运算,又叫逻辑加,运算符号为" + "。对千图凡- 9 所示电路,有 L 兰 A + B ( 1 - 4 )式 1 - 4 对应的真值表如表 1 - 7 所示。由真值表可以看出,或运算的运算规则是 ...
邓元庆, ‎关宇, ‎贾鹏, 2005
8
数字系统设计自动化 - 第 330 页
高阶逻辑具有强大的描述能力,定理证明系统内置各种推理规则、推理对策、元对策等,这些都使高阶逻辑定理证明系统成为验证复杂系统的有力工具。模型检验将 ... 形式逻辑的推理是对原子命题符号的机械化操作,而不涉及这些命题符号的具体含义。
边计年, 2005
9
Zhan sheng Pro/Engineer 2001 kuai yi 60 jiang - 第 148 页
关系式中需要用到 3 种类型的参数符号,常用运算符号逻辑符号及关系式中的参数符号见表 25 - 1 、 25 - 2 、 25 - 3 。表 25 - 1 常用的运算符号运算符号说明运算符号说明二等于 acos()反余弦函数十加 atan()反正切函数减 Sinh()双曲正弦函数/除 ...
周四新, ‎和青芳, 2003
10
逻辑学的传入与研究 - 第 209 页
作者在序中说,从世界最早的大学讲授逻辑课程到它成为一般大学的普通课程,已有八九百年的历史。"近百年来,由于符号逻辑的兴起,整个逻辑学内容与方法都有极大的改变。目前,欧美各国大多把初等符号逻辑列为逻辑学课程的主要教材。所谓'初等'有 ...
宋文坚, 2005

10 NEWS ITEMS WHICH INCLUDE THE TERM «符号逻辑»

Find out what the national and international press are talking about and how the term 符号逻辑 is used in the context of the following news items.
1
MBA备考:联考逻辑题型和解题思路
下面我们以推论和假设题作为例子来看MBA联考逻辑的学习方法。 1. .... formal logic”是一种符号逻辑,代替人的大脑进行推理,“informal logic”则是真正考察人的逻辑 ... «新浪网, Sep 15»
2
数理逻辑思维在图形设计中的应用价值探析
《辞海》中对“数理逻辑”的解释是:“亦称'符号逻辑'。用数学方法研究思维的形式结构及其规律的学科。[1]”数理逻辑思维可以认为是一种基于严密的数学原理、公式及定理 ... «人民网, May 15»
3
中国文化与西方科学的结合是大前提
同类,我认为中国的所有大学生应该修一科「符号逻辑」(Symbolic Logic)。也不要教得深。记得老师阿尔钦曾经对我说:「如果有两个青年找工作,要我选择,这两个的 ... «搜狐, Apr 15»
4
“干货”分享:四招掌握托福听力笔记技巧
一旦出现逻辑词,就很可能跟出考点,所以听清逻辑词,并迅速记录下来,能够使得文章内部的关系和顺序一目了然。常用速记符号逻辑词≠ different, unlike, ... «新浪网, Dec 14»
5
IT业的理论奠基人香农
除了信息理论和信息熵的概念之外,香农对人类社会的另一个重大贡献是他提出的符号逻辑和开关理论。 贝尔实验室(Bell Lab)和麻省理工学院(MIT)都尊崇香农为 ... «腾讯网, Feb 14»
6
2014管综考研:突破不考逻辑学知识的误区
用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。 «新浪网, Sep 13»
7
2014管理类联考大纲解读一:突破逻辑误区
用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。 «新浪网, Sep 13»
8
让更多青年人才崭露头角
2010年8月,酷爱数理逻辑的中南大学大三学生刘路在自学反推数学时发现,海内外不 ... 他连夜将这一证明写出来,并投给了数理逻辑国际权威杂志《符号逻辑杂志》。 «人民网, Apr 12»
9
中学老师忆最年轻教授:从未参加过奥数班(图)
10月的一天,刘路突然想到,用这个方法稍作修改便可以证明这一结论,他立即跑回宿舍,连夜用英文写出证明过程,投给了数理逻辑领域国际权威杂志《符号逻辑》。 «中国新闻网, Mar 12»
10
数学奇才刘路获影响世界华人盛典希望之星提名
2011年6月,刘路收到了《符号逻辑杂志》主编、逻辑学专家、芝加哥大学数学系邓尼斯•汉斯杰弗德的回信,他说,“我是过去众多研究该问题而无果者之一,看到这一 ... «新浪网, Mar 12»

REFERENCE
« EDUCALINGO. 符号逻辑 [online]. Available <https://educalingo.com/en/dic-zh/fu-hao-luo-ji>. Jul 2024 ».
Download the educalingo app
zh
Chinese dictionary
Discover all that is hidden in the words on