Înțelesul "现代逻辑" în dicționarul Chineză

PRONUNȚIA 现代逻辑 ÎN CHINEZĂ

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

CE ÎNSEAMNĂ 现代逻辑 ÎN CHINEZĂ?

Definiția 现代逻辑 în dicționarul Chineză

Logica modernă Logica matematică și aplicarea logicii matematice formate de sistemul logic. Trăsătura sa principală este formalismul, care constă în folosirea unui set de simboluri ideografice speciale pentru a reprezenta conceptele, judecățile și raționamentul și a obține structurile lor formale, transformând astfel cercetarea conceptelor, judecăților și raționamentului în studiul simbolurilor în sistemele formale.

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

TRADUCEREA 现代逻辑

Găsește traducerea 现代逻辑 în 25 de limbi cu traducătorul nostru multilingv înChineză.

Traducerile 现代逻辑 din Chineză în alte limbi prezentate în prezenta secțiune au fost obținute prin traducerea statistică automată; unde unitatea esențială a traducerii este cuvântul «现代逻辑» în Chineză.

• Chineză: 现代逻辑
• Traducător din Chineză - Spaniolă: lógica moderna
• Traducător din Chineză - Engleză: Modern Logic
• Traducător din Chineză - Hindi: आधुनिक तर्क
• Traducător din Chineză - Arabă: المنطق الحديث
• Traducător din Chineză - Rusă: Современная логика
• Traducător din Chineză - Portugheză: Lógica moderna
• Traducător din Chineză - Bengali: আধুনিক লজিক
• Traducător din Chineză - Franceză: la logique moderne
• Traducător din Chineză - Malaeză: Logik moden
• Traducător din Chineză - Germană: moderne Logic
• Traducător din Chineză - Japoneză: 現代のロジック
• Traducător din Chineză - Coreeană: 현대 논리
• Traducător din Chineză - Javaneză: Logic modern
• Traducător din Chineză - Vietnameză: logic hiện đại
• Traducător din Chineză - Tamilă: நவீன தர்க்கம்
• Traducător din Chineză - Marathi: आधुनिक तर्कशास्त्र
• Traducător din Chineză - Turcă: Modern Mantık
• Traducător din Chineză - Italiană: logica moderna
• Traducător din Chineză - Poloneză: nowoczesne Logic
• Traducător din Chineză - Ucraineană: сучасна логіка
• Traducător din Chineză - Română: Logic Modern
• Traducător din Chineză - Greacă: σύγχρονης λογικής
• Traducător din Chineză - Afrikaans: moderne Logika
• Traducător din Chineză - Suedeză: moderna logik
• Traducător din Chineză - Norvegiană: Modern Logic

CĂRȚI ÎN CHINEZĂ ÎN LEGĂTURĂ CU «现代逻辑»

Descoperă întrebuințarea 现代逻辑 în următoarea selecție bibliografică. Cărți în legătură cu 现代逻辑 și extrase din aceasta pentru a furniza contextul de întrebuințare al acestuia în literatura Chineză.

现代逻辑词典

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

Marciszewski, 1992

现代逻辑设计

国外电子与通信教材系列

卡茨, ‎博列洛, 2006

逻辑图表论:

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

李贤军, 2015

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

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

王元元, 1989

何谓逻辑学:

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

王晓菊, 2015

现代逻辑与传统逻辑

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

程仲棠, 1990

人工智能 - 第 31 页

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

贲可荣, ‎张彦铎, 2006

ȘTIRI NOI CARE INCLUD TERMENUL «现代逻辑»

Află ce ziare naționale și internaționale au scris despre și cum este întrebuințat termenul 现代逻辑 în contextul următoarelor știri.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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