助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   语言 在 逻辑学 分类中 的翻译结果: 查询用时:3.529秒
图标索引 在分类学科中查询
所有学科
逻辑学
中国语言文字
外国语言文字
计算机软件及计算机应用
中国文学
中等教育
自动化技术
互联网技术
文艺理论
更多类别查询

图标索引 历史查询
 

语言    
相关语句
  language
    The Problems of the Philosophy of Language in Ancient China's Philosophy——A Discussion on the Mass Noun Theory
    中国哲学中的语言哲学问题——物质名词理论的商榷
短句来源
    Analysis of Language Form of Concept Restriction
    概念限制的语言形式分析
短句来源
    On Some Modes of Expression in the Language Logic
    试析语言逻辑中的几个表达式
短句来源
    On Presumption That Aristotle's Logic Originated from Language Study
    浅议亚氏的逻辑学说起源于语言研究
短句来源
    The Logic of Language and Formalization
    语言逻辑与形式化
短句来源
更多       
  linguistic
    On the Logic of Linguistic Communication
    略论语言交流的逻辑
短句来源
    Logic from a Linguistic Point of View
    从语言的观点看逻辑
短句来源
    Looking at the Essence of Mo-ching Logic in View of Linguistic Levels of Modern Logic
    从现代逻辑的语言层次观看《墨经》逻辑
短句来源
    The Germination of Linguistic Turn
    论“语言转向”的发生
短句来源
    Resolutions of Semantic Paradoxes in the Perspective of Linguistic Logic
    语言逻辑视域下的语义悖论消解
短句来源
更多       
  languages
    This part analyses the influence on fixing a name's reference of five factors among them, which are referring subject, background of languages which a name gets it's meaning, language regulations of referring, referred object and several links of referring activities.
    这部分分析了其中五种因素,即指称主体、名称赖以获得其涵义的语言背景、确定所指的语言规则、指称客体和指称活动诸环节对确定名称所指的影响。
短句来源
    Tarski gave the semantic elaboration to the indistinct of the materialistic correspondence theory of truth by means of modern logic,logical analysis and semantic analysis,and gave the term “truth” a materially adequate and formally correct definition. He put forward the famous hierarchy theory of languages,created systematic semantics in modern sense,shew the extraordinary glamour of semantics to the world,and made widespread and profound influence on the scope of philosophy.
    塔尔斯基以现代逻辑为手段 ,用逻辑分析和语义分析的方法对唯物主义真理符合论中甚为模糊的内容做出语义学的重新阐述 ,给“真的”一词下了一个实质上适当、形式上正确的定义 ,也提出了著名的语言层次论 ,创建了现代意义上的系统的语义学 ,从而向世人展示了语义学的非凡魅力 ,在世界哲学界产生了广泛而深远的影响。
短句来源
    In terms of the languages in outer world, it is thought there are no complete and exact statement and comprehension.
    我们认为 ,对于外在世界 ,语言不可能有完全确切的表述和理解
短句来源
    Category and Type Logic Sequence is an important school dealing with cross study between language and logics in recent 30 years,and a formal semantic theory having great effect on the computerized process of natural languages.
    范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。
短句来源
    Ambiguity exists in all languages.
    语言哲学和逻辑学主要以澄清语言表达式的意义为目的来看待和研究歧义。
短句来源
更多       
  the language
    On Some Modes of Expression in the Language Logic
    试析语言逻辑中的几个表达式
短句来源
    On the Corresponding Relations between Reasoning and the Language Forms
    推理与其语言形式对应关系探析
短句来源
    He thinks that the object of philosophy is the language rather than the world.
    他认为哲学的对象是语言而不是世界,而语言的核心问题是语言的意义,因此意义问题就成了哲学的中心问题。
短句来源
    What is beyond the edge of the language?
    语言又是什么?
短句来源
    But semanteme system that people express in knowledge and the language use when exchanged is multi-level, influenced each other , Therefore very complicated.
    人们在知识表达和语言交流中所使用的语义系统却是多层次的、相互影响的,因而是非常复杂的。
短句来源
更多       

 

查询“语言”译词为其他词的双语例句

 

查询“语言”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  language
In this paper, the elementary cellular automaton of rule 22 is studied by the tools of formal language theory and symbolic dynamics.
      
It is proved that for every n≥2 its width n-evolution language is not regular.
      
Complexity of limit language of the elementary cellular automaton of rule 22
      
The limit language is defined from limit set and its complexity is studied by using formal language theory.
      
It is proved that this language is not a regular language.
      
更多          
  linguistic
A method of fuzzy logical-linguistic description of the processes of operation of automatic radio electronic systems for spacecraft control in the case of unidentified situations in the ground equipment is presented.
      
Fifty healthy subjects with normal hearing took part in the tests based on the method of monaural presentation of stimuli-the sentences that represented the main kinds of Russian emotional and linguistic intonations.
      
The linguistic intonations expressed: various communicative types of sentences; completeness/incompleteness of a statement; various types of the syntagmatic segmentation of the statements; various logical stress.
      
The data obtained show that the linguistic abilities are determined by the functional specialization of the hemispheres.
      
The strategy for producing extralinguistic responses was found to prevail over the strategy for producing linguistic associations in all subjects, irrespective of their type of speech representation.
      
更多          
  languages
The new Haar transforms allow us to detect the underlying ergodic structures on a class of Cantor-type sets or languages.
      
Its temporal evolution orbits are coarse-grained into evolution sequences and the evolution languages are defined.
      
Complexity of evolution languages of the elementary cellular automaton of rule 146
      
Traditional layout-reconstructed-based methods rely on high quality document images as well as an optical character recognition (OCR) precision, and can only deal with several widely used languages.
      
In this paper we explore an observation-oriented model for BPEL-like languages, which can be used to study program equivalence.
      
更多          
  the language
The language uses case distinction to formalize symbolic geometric objects and relations, reducing the problem of dealing with uncertainty and degeneracy to that of handling geometric constraints.
      
The algorithm is realized in the language C and message passing interface (MPI) system.
      
In the language of informal automata, questions are set out of the organization of the exchange of data and signals within the cluster, which afford the asynchronous operation of its processors.
      
The Language of Methylation in Genomics of Eukaryotes
      
For this purpose the linearized Helmholtz equation for the vorticity perturbations is reformulated in the language of the deformation field directly characterizing the evolution of the shape of each vortex line.
      
更多          
  其他


点击这里查询相关文摘
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关语言的内容
在知识搜索中查有关语言的内容
在数字搜索中查有关语言的内容
在概念知识元中查有关语言的内容
在学术趋势中查有关语言的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社