Significato di "现代逻辑" sul dizionario di cinese

PRONUNCIA DI 现代逻辑 IN CINESE

现	代	逻	辑
xiàn	dài	luó	jí

CHE SIGNIFICA 现代逻辑 IN CINESE

definizione di 现代逻辑 nel dizionario cinese

Logica matematica logica moderna e applicazione della logica matematica formata dal sistema logico. La sua caratteristica fondamentale è la formalizzazione, cioè l'utilizzo di una serie di speciali simboli ideografici per rappresentare concetti, giudizi, ragionamenti e ottenere le loro strutture formali, in modo da trasformare lo studio dei concetti, dei giudizi e del ragionamento nello studio dei simboli nei sistemi formali.

现代逻辑 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

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 moderna
• Traduttore italiano - inglese: Modern Logic
• Traduttore italiano - hindi: आधुनिक तर्क
• Traduttore italiano - arabo: المنطق الحديث
• Traduttore italiano - russo: Современная логика
• Traduttore italiano - portoghese: Lógica moderna
• Traduttore italiano - bengalese: আধুনিক লজিক
• Traduttore italiano - francese: la logique moderne
• Traduttore italiano - malese: Logik moden
• Traduttore italiano - tedesco: moderne Logic
• Traduttore italiano - giapponese: 現代のロジック
• Traduttore italiano - coreano: 현대 논리
• Traduttore italiano - giavanese: Logic modern
• Traduttore italiano - vietnamita: logic hiện đại
• Traduttore italiano - tamil: நவீன தர்க்கம்
• Traduttore italiano - marathi: आधुनिक तर्कशास्त्र
• Traduttore italiano - turco: Modern Mantık
• Traduttore italiano - italiano: logica moderna
• Traduttore italiano - polacco: nowoczesne Logic
• Traduttore italiano - ucraino: сучасна логіка
• Traduttore italiano - rumeno: Logic Modern
• Traduttore italiano - greco: σύγχρονης λογικής
• Traduttore italiano - afrikaans: moderne Logika
• Traduttore italiano - svedese: moderna logik
• Traduttore italiano - norvegese: Modern Logic

7 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.

现代逻辑词典

条目涉及经典和非经典的逻辑演算、逻辑语义学、可判定性、集合论、抽象代数基础、形式语法和逻辑史.

Marciszewski, 1992

现代逻辑设计

国外电子与通信教材系列

卡茨, ‎博列洛, 2006

逻辑图表论:

笔者注)和命题变项构成的与复合命题相当的结构形式”【18】。逻辑联结词是指仅仅表示复合命题与肢命题之间的真假关系的联结词。常用的逻辑联结词有七种: (1)表否定:代表逻辑联结词有“并非......”“不是......”“......是假的”等等。在现代逻辑中,用符号表示 ...

李贤军, 2015

计算机科学中的现代逻辑学

本书主要内容包括:形式化和形式系统概论,命题演算形式系统,各种形式的一阶谓词演算形式系统,直觉主义的一阶谓词演算形式系统,各种形式的模态逻辑系统 ...

王元元, 1989

何谓逻辑学:

一门以数学方法和形式化方法系统地研究演绎推理的新型逻辑学——数理逻辑(亦称符号逻辑)诞生并获得了巨大的发展,形成了一个以数理逻辑为基础, ... 实践已经证实,没有现代逻辑的产生和发展,现代科学技术和人类文明就不会获得突飞猛进的发展。

王晓菊, 2015

现代逻辑与传统逻辑

本书探讨传统逻辑的体系及其演变,阐述数理逻辑的基本理论,研究命题逻辑和谓词逻辑的语形学和语义学等内容.

程仲棠, 1990

人工智能 - 第 31 页

现代逻辑除求助数学对思维过程作符号化的探讨之外,别无它路。数字 0 , 1 , 2 , 3 ...是由人类的基数、序数概念符号化而来,但只是在有了"字母表示数"、"符号表示数的运算、关系"之后才有代数理论,才有人们对数的概念的深刻认识。现代逻辑学对思维的 ...

贲可荣, ‎张彦铎, 2006

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.

卡尔.波普尔《猜想与反驳》

逻辑实证主义是现代自然科学革命的第一个哲学产儿。它本质上是从经验主义观点出发，运用现代逻辑工具对这场科学革命所作的方法论总结。由于囿于经验主义，它 ... «新乡新闻网, set 15»

图娅：多元视角是维护人类健康的不二选择

主要研究领域为中医针灸经典理论的系统阐发和现代研究。 ... 应运产生的一种相对于近现代逻辑实证的分析实验科学，表现出独有的思维上“另一极张力”的学问体系。 «凤凰网, set 15»

MBA备考：联考逻辑思维形式的结构

思维是人们运用概念进行判断和推理的过程。概念是思维形式最基本的组成单元，是构成命题、推理的要素。现代逻辑学家认为逻辑学是一种研究推理形式的科学，它以 ... «新浪网, set 15»

金岳霖：积极投身学术救国强国

金岳霖1895年生于湖南长沙，是我国现代逻辑学的奠基人。“七七事变”后，清华大学南迁至长沙，而后又转至昆明，与北京大学、南开大学一起成立西南联合大学。 «中工网, ago 15»

从"海上花列传"到"长恨歌"看城市文学:一种现代"想象"?

学者范伯群、栾梅健曾主张将《海上花列传》视为中国现代文学的开端标志，且不论 ... 派或现代主义意识的“副产品”，恰恰相反，城市文学的精神实质就是现代逻辑本身。 «人民网, mag 15»

《论语》法律思想之西式解读

【中文摘要】以现代逻辑重组孔子的法律哲学体系至为重要。用现代法学思维考察孔子对法律的理解，刑罪与狱讼为分析法学下的实在法与乐为社会法学下的法律规则， ... «法制网, ago 14»

哲学家金岳霖酷爱养斗鸡曾与鸡平等共餐

金岳霖是著名的哲学家、逻辑学家，他是最早把现代逻辑系统地介绍到中国来的逻辑学家之一，他把西方哲学与中国哲学相结合，建立了独特的哲学体系。 1926年，刚 ... «中国新闻网, giu 14»

《金岳霖全集》编辑历程：历时4年

金岳霖是20世纪中国最有影响力的逻辑学家。早在20世纪30年代，他出版了《逻辑》一书，主要介绍西方刚刚发展起来的现代逻辑知识，并在书中同西方著名学者对话。 «新浪网, mag 14»

真正的金岳霖无关“人间四月天”

金岳霖先生是我国著名的逻辑学家、哲学家和教育家。他最早把西方现代逻辑系统地介绍到中国来，他融会中西，以中国传统哲学中的“道”为核心，运用西方哲学的 ... «人民网北京视窗, apr 14»

与师生谈科学之弊21：逻辑教的改革

人们确实会这样迷恋、崇拜自己的作品，上帝和（演绎）逻辑就是两个佳例，科学也是这么一个人类自己发明 .... 然而，现代逻辑学对它们的论述次序和重点却正好相反。 «科学时报, feb 14»