Significato di "数理逻辑" sul dizionario di cinese

PRONUNCIA DI 数理逻辑 IN CINESE

数	理	逻	辑
shù	lǐ	luó	jí

CHE SIGNIFICA 数理逻辑 IN CINESE

Logica matematica

数理逻辑

La logica matematica è un ramo della matematica, il suo oggetto di ricerca è quello di dimostrare e calcolare i due concetti intuitivi del sistema simbolico dopo la forma. La logica matematica è una parte indispensabile della fondazione matematica. La portata della ricerca della logica matematica fa parte della logica che può essere modellata matematicamente. Precedentemente conosciuto come logica simbolica (al contrario della logica filosofica), conosciuta anche come meta-matematica, l'uso di quest'ultimo è ora limitato ad alcuni aspetti della prova. ...

数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。...

definizione di 数理逻辑 nel dizionario cinese

La logica matematica è anche chiamata "logica simbolica". Restringe si riferisce all'uso di metodi matematici per studiare il pensiero deduttivo matematico e le discipline basate sulla matematica. Il senso ampio si riferisce a tutti i simboli e metodi matematici per affrontare e studiare l'apprendimento deduttivo. È sia un ramo della matematica che un ramo della logica. La logica matematica è di grande importanza per la ricerca e l'ingegneria matematica e una soluzione efficace per alcuni problemi nel pensiero generale.

数理逻辑 亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

TRADUZIONE DI 数理逻辑

Conosci la traduzione di 数理逻辑 in 25 lingue con il nostro traduttore cinese multilingue.

Le traduzioni di 数理逻辑 verso altre lingue presenti in questa sezione sono il risultato di una traduzione automatica statistica; dove l'unità essenziale della traduzione è la parola «数理逻辑» in cinese.

• cinese: 数理逻辑
• Traduttore italiano - spagnolo: Lógica Matemática
• Traduttore italiano - inglese: Mathematical Logic
• Traduttore italiano - hindi: गणितीय तर्क
• Traduttore italiano - arabo: المنطق الرياضي
• Traduttore italiano - russo: Математическая логика
• Traduttore italiano - portoghese: Lógica Matemática
• Traduttore italiano - bengalese: গাণিতিক যুক্তিবিজ্ঞান
• Traduttore italiano - francese: Logique mathématique
• Traduttore italiano - malese: logik matematik
• Traduttore italiano - tedesco: Mathematische Logik
• Traduttore italiano - giapponese: 数学ロジック
• Traduttore italiano - coreano: 수학 논리
• Traduttore italiano - giavanese: logika matématika
• Traduttore italiano - vietnamita: Logic Toán Học
• Traduttore italiano - tamil: கணித தர்க்கம்
• Traduttore italiano - marathi: गणितीय तर्कशास्त्र
• Traduttore italiano - turco: Matematiksel mantık
• Traduttore italiano - italiano: Logica Matematica
• Traduttore italiano - polacco: Logika matematyczna
• Traduttore italiano - ucraino: Математична логіка
• Traduttore italiano - rumeno: Logica matematică
• Traduttore italiano - greco: Μαθηματική Λογική
• Traduttore italiano - afrikaans: Wiskundige logika
• Traduttore italiano - svedese: Matematisk logik
• Traduttore italiano - norvegese: Mathematical Logic

10 LIBRI IN CINESE ASSOCIATI CON «数理逻辑»

Scopri l'uso di 数理逻辑 nella seguente selezione bibliografica. Libri associati con 数理逻辑 e piccoli estratti per contestualizzare il loro uso nella letteratura.

数理逻辑与集合论

清华大学计算机系列教材

石纯一, 2000

数理逻辑基础: 一阶逻辑与一阶理论

21世纪哲学系列教材

陈慕泽, ‎余俊伟, 2003

吴允曾选集: 数理逻辑与计算机科学

本书包括吴先生的论文、演讲等39篇。内容大体分为四类一、关于逻辑;二、关于计算机科学;三、关于数理逻辑与计算机科学的相互关系;四、其它。

吴允曾, 1991

数理逻辑

普通高等教育“十一五”国家级规划教材

邢滔滔, 2008

数理逻辑

本书尽可能结合传统逻辑来介绍数理逻辑的基础知识,着重介绍逻辑演算部分内容,对其中的自然推理系统作了详细介绍,力求用通俗的语言来阐述数理逻辑的基本原理和符号表达公式。

毕富生, 2004

离散数学

2 二吕辑题命数理逻辑是研究推理的数学学科,它着重于推理过程以及推理是否正确的研究·数理逻辑主要包含 5 部分内容:逻辑演算(命题演算与谓词演算)、公理集合沦、证明论、递归函数论、模型论·其中逻辑演算是其他各部分的基础·数理逻辑不仅是各 ...

屈婉玲, ‎耿素云, ‎张立昂, 2005

知识、逻辑与价值: 中国新实在论思潮的兴起 - 第 139 页

他认为传统逻辑与现代数理逻辑的区分在于:传统演绎逻辑以主谓命题为命题之唯一形式,以实体属性关系为最基本的关系;而数理逻辑则承认命题之一切形式为正当,并承认一切关系为同样重要。故传统逻辑可为实体逻辑学,而现代数理逻辑可谓是关系 ...

胡伟希, 2002

数理逻辑

本书对初步、经典的数理逻辑进行了讲述,介绍了命题演算、谓词演算、模态逻辑演算,以及构造性逻辑演算等几方面内容。

孙明湘, 2004

数理逻辑

包括:命题逻辑、谓词逻辑、公理数论等6章。

侯广坤, 1992

数理逻辑导引

本书主要讲述数理逻辑的基础部分,即命题逻辑和一阶谓词逻辑。都是从语义论到语形论,讨论它们的元逻辑性质.

张尚水, 1990

10 NOTIZIE DOVE SI INCLUDE IL TERMINE «数理逻辑»

Vedi di che si parla nei media nazionali e internazionali e come viene utilizzato il termine ino 数理逻辑 nel contesto delle seguenti notizie.

五招教您开发幼儿的数理逻辑能力

逻辑思维能力是指正确、合理思考的能力。即对事物进行观察、比较、分析、综合、抽象、概括、判断、推理的能力。然而有些孩子，或许天生对数学的理解力较不敏锐， ... «kangq, set 15»

管理类联考之实用逻辑详解

虽然考试大纲没有明确的规定联考中逻辑考试的类型，但是考试大纲却包含考试的 ... 况且，“形式逻辑”现在已演变成一个专有名词， 专指现代演绎逻辑即数理逻辑。 «搜狐, set 15»

数理逻辑思维在图形设计中的应用价值探析

因此，本文通过对数理逻辑思维和图形的概念诠释以及数理造型的应用表达形式展开进一步剖析，同时对数理逻辑思维的应用价值加以探讨，力求使设计人员在保持 ... «人民网, mag 15»

象数义理与数理逻辑：寻找中国的史前密码

河图洛书：中华文明的神奇密码！ http://blog.ifeng.com/article/27915979.html. 按照八卦生成的数理逻辑,一为乾,二为兑,三为离,四为震,五为巽,六为坎,七为艮,八为坤. «凤凰网, dic 14»

数理逻辑积木介绍---感官教具之?三角形

其实,只要在日常生活中多和孩子玩“积木游戏”,这也是提高宝宝逻辑能力的好办法。 教具构成 ... 在豆豆魔方数理逻辑积木教具中，构成三角形是一组特别的教具。 «搜狐, nov 14»

开启宝宝的数理逻辑智能

5 喜欢玩推理、归类的逻辑游戏，对于故事的情节和内容喜欢提问题：去哪里了？为什么会这样呢？ 6 喜欢问家长与科学有关的问题，为什么会下雨？为什么会肚子饿 ... «新浪网, set 14»

国科大本科招生综合面试举行侧重考查数理逻辑等

今天面试侧重点主要是考察考生的数理基础、知识面、逻辑推理、学术兴趣，还考察学生的想象力、概括能力、表达能力还有人文素质等等。目前学校已经成立了校领导 ... «人民网, apr 14»

自我指涉（7）——语言限制了数学

数理逻辑用严谨的方式研究语法、语义，涉及语言的局限性。先略加解释要用到的概念、术语和符号。 用个体变元、个体常元、函数符号、关系符号（或称谓词符号），以及 ... «科学时报, dic 13»

2014管理类联考大纲解读一：突破逻辑误区

一般情况下，在逻辑学家或者研究逻辑的学者眼中，所谓的逻辑学专业知识主要指的是现代逻辑知识，比如数理逻辑。用数学的方法研究关于推理、证明等问题的学科就 ... «新浪网, set 13»

中科院软件所纪念胡世华诞辰百年

胡世华是少数几位在中国发展数理逻辑的代表人物之一。 ... 科学、献身科学的精神，温厚、宽容的珍贵品德是软件所和中国数理逻辑、计算机科学领域永远的精神财富。 «科学时报, apr 12»