중국어 사전에서 "现代逻辑" 뜻

중국어 에서 现代逻辑 의 발음

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

중국어에서 现代逻辑 의 뜻은 무엇인가요?

중국어 사전에서 现代逻辑 의 정의

현대 논리 수학 논리 및 논리 시스템에 의해 형성된 수학 논리의 응용. 그 기본 특징은 형식화이다. 즉 개념, 판단, 추론을 표현하고 형식 구조를 획득하기 위해 특별한 표의 문자 세트를 사용하여 개념, 판단 및 추론의 연구를 공식 시스템의 기호 연구로 전환시킨다.

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

现代逻辑 의 번역

중국어 다중 언어 번역기 를 사용해 现代逻辑 의 25개국어 번역을 확인해보세요

자동 통계기반 번역을 통해 중국어 에서 이 항목에 표시된 다른 언어로 现代逻辑 번역 이 이루어집니다. 이 항목의 기본적인 번역 단위는 중국어 단어 «现代逻辑» 입니다.

• 중국어: 现代逻辑
• 중국어 - 스페인어 번역기: lógica moderna
• 중국어 - 영어 번역기: Modern Logic
• 중국어 - 힌디어 번역기: आधुनिक तर्क
• 중국어 - 아랍어 번역기: المنطق الحديث
• 중국어 - 러시아어 번역기: Современная логика
• 중국어 - 포르투갈어 번역기: Lógica moderna
• 중국어 - 벵골어 번역기: আধুনিক লজিক
• 중국어 - 프랑스어 번역기: la logique moderne
• 중국어 - 말레이어 번역기: Logik moden
• 중국어 - 독일어 번역기: moderne Logic
• 중국어 - 일본어 번역기: 現代のロジック
• 중국어 - 한국어 번역기: 현대 논리
• 중국어 - 자바어 번역기: Logic modern
• 중국어 - 베트남어 번역기: logic hiện đại
• 중국어 - 타밀어 번역기: நவீன தர்க்கம்
• 중국어 - 마라티어 번역기: आधुनिक तर्कशास्त्र
• 중국어 - 터키어 번역기: Modern Mantık
• 중국어 - 이탈리아어 번역기: logica moderna
• 중국어 - 폴란드어 번역기: nowoczesne Logic
• 중국어 - 우크라이나어 번역기: сучасна логіка
• 중국어 - 루마니아어 번역기: Logic Modern
• 중국어 - 그리스어 번역기: σύγχρονης λογικής
• 중국어 - 아프리칸스어 번역기: moderne Logika
• 중국어 - 스웨덴어 번역기: moderna logik
• 중국어 - 노르웨이어 번역기: Modern Logic

«现代逻辑» 관련 중국어 책

다음 도서 목록 항목에서 现代逻辑 의 용법을 확인하세요. 现代逻辑 에 관련된 책과 해당 책의 짧은 발췌문을 통해 중국어 서적에서 단어가 사용되는 맥락을 제공합니다.

现代逻辑词典

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

Marciszewski, 1992

现代逻辑设计

国外电子与通信教材系列

卡茨, ‎博列洛, 2006

逻辑图表论:

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

李贤军, 2015

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

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

王元元, 1989

何谓逻辑学:

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

王晓菊, 2015

现代逻辑与传统逻辑

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

程仲棠, 1990

人工智能 - 第 31 页

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

贲可荣, ‎张彦铎, 2006

«现代逻辑» 단어를 포함하는 뉴스 기사

다음 뉴스 기사의 맥락에서 국내 및 국제 언론이 말하는 내용 및 现代逻辑 단어를 사용하는 방법을 알아보세요.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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