Signification de "现代逻辑" dans le dictionnaire chinois

PRONONCIATION DE 现代逻辑 EN CHINOIS

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

QUE SIGNIFIE 现代逻辑 EN CHINOIS

définition de 现代逻辑 dans le dictionnaire chinois

Logique moderne Logique mathématique et application de la logique mathématique formée par le système logique. Sa caractéristique fondamentale est le formalisme, qui utilise un ensemble de symboles idéographiques spéciaux pour représenter les concepts, les jugements et le raisonnement, et pour obtenir leurs structures formelles, transformant ainsi la recherche de concepts, de jugements et de raisonnements en des systèmes formels.

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

TRADUCTION DE 现代逻辑

Découvrez la traduction de 现代逻辑 dans 25 langues grâce à notre traducteur chinois multilingue.

Dans cette section, les traductions de 现代逻辑 dans d'autres langues ont été obtenues par traduction automatique statistique, où l'unité essentielle de la traduction est le mot «现代逻辑» en chinois.

• chinois: 现代逻辑
• Traducteur Français - espagnol: lógica moderna
• Traducteur Français - anglais: Modern Logic
• Traducteur Français - hindi: आधुनिक तर्क
• Traducteur Français - arabe: المنطق الحديث
• Traducteur Français - russe: Современная логика
• Traducteur Français - portugais: Lógica moderna
• Traducteur Français - bengali: আধুনিক লজিক
• Traducteur Français - français: la logique moderne
• Traducteur Français - malaisien: Logik moden
• Traducteur Français - allemand: moderne Logic
• Traducteur Français - japonais: 現代のロジック
• Traducteur Français - coréen: 현대 논리
• Traducteur Français - javanais: Logic modern
• Traducteur Français - vietnamien: logic hiện đại
• Traducteur Français - tamoul: நவீன தர்க்கம்
• Traducteur Français - marathi: आधुनिक तर्कशास्त्र
• Traducteur Français - turc: Modern Mantık
• Traducteur Français - italien: logica moderna
• Traducteur Français - polonais: nowoczesne Logic
• Traducteur Français - ukrainien: сучасна логіка
• Traducteur Français - roumain: Logic Modern
• Traducteur Français - grec: σύγχρονης λογικής
• Traducteur Français - afrikaans: moderne Logika
• Traducteur Français - suédois: moderna logik
• Traducteur Français - norvégien: Modern Logic

7 LIVRES EN CHINOIS EN RAPPORT AVEC «现代逻辑»

Découvrez l'usage de 现代逻辑 dans la sélection bibliographique suivante. Des livres en rapport avec 现代逻辑 et de courts extraits de ceux-ci pour replacer dans son contexte son utilisation littéraire.

现代逻辑词典

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

Marciszewski, 1992

现代逻辑设计

国外电子与通信教材系列

卡茨, ‎博列洛, 2006

逻辑图表论:

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

李贤军, 2015

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

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

王元元, 1989

何谓逻辑学:

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

王晓菊, 2015

现代逻辑与传统逻辑

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

程仲棠, 1990

人工智能 - 第 31 页

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

贲可荣, ‎张彦铎, 2006

10 ACTUALITÉS CONTENANT LE TERME «现代逻辑»

Découvrez de quoi on parle dans les médias nationaux et internationaux et comment le terme 现代逻辑 est employé dans le contexte des actualités suivantes.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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