Logics相关论文
This paper studies how to describe the real-time behaviour of programs using duration calculus. Since program variables ......
汽车零件专业物流企业丰田零件中心LOGICS于2006年3月在零件拣选工序中引进了RFID系统,该系统投入运行后两年整,即24个月间创造了......
Nanjinganthus is an Early Jurassic angiosperm recognized based on the study of over 200 specimens.However,some other aut......
为挽救归纳推理,必须打破演绎崇拜怪圈,通过寻找归纳推理在逻辑学与经验科学中的最佳结合点并对其进行恰当定位。归纳规则通过其符合......
推理是一种重要的思维形态,是我们认识客观事物和表述论证的重要工具。在数学学习中,要求我们学会推理,能清晰、有条理地表达自己的思......
研究<墨经>的学者大都把"效"理解为"说"的一种具体论式或者理解为"说"的原理.本文通过分析前辈学者对"效"的研究成果,认为"效"不是......
组合性是认知科学的一个基本问题,也是逻辑学、语言学、哲学、计算机科学、心理学、神经生理学等众多学科的一个交汇性论题。组合......
转变体育发展方式的基本逻辑内涵主要包括转的理由、内容和转化方式。研究认为,传统体育发展方式的不足是我国体育发展方式转变的......
发动机接口控制装置作为发动机控制组件和飞机各系统的接口,接收、处理并传递大量发动机控制的信号,内部功能复杂。是动力装置系统的......
汽车零件专业物流企业丰田零件中心LOGICS于2006年3月在零件拣选工序中引进了RFID系统,该系统投入运行后两年整,即24个月间创造了误......
叙事是人类交流的一个基本形式,逻辑是人类思维规律的基本形式,叙事和逻辑是从具体事物中抽象出来的属于形式范畴的产物。对于视频公......
全面准确理解"三个代表"重要思想的科学内涵是学习贯彻"三个代表"重要思想的前提和基础.分析了关于"三个代表"重要思想科学内涵的5......
随着我国社会主义市场经济体制的建立,现实中出现了许多新的经济现象和经济问题,这都需要我们从理论上给予解答。马克思劳动价值论是......
以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统......
案件事实理论研究一般将案件事实视为推理的结果,并集中于解释作为个体的法官或者陪审员如何认定案件事实。然而,自媒体信息传播凸......
本文提出新的逻辑原理,把辩证逻辑与形式逻辑相融合。合理的表述辩证逻辑并指出它发展的两个重要阶段。辩证逻辑是自然辩证法的摹本......
对"一流大学"概念的认知,目前大体上有三种不同模式:整体比较型、同类比较型和同学科比较型.无论哪种认知样式,都有其逻辑学上的困......
散文是我们最常见的文体,学会欣赏散文,对于提高学生的阅读能力具有更重要意义。文章从散文的文体种类、逻辑、形式、语言、文学性......
法律逻辑学是逻辑学与法学的交叉学科,从功能上看在于为人们的法学理论研究和法律实践工作提供有用的逻辑知识及逻辑思维方法。在教......
通过对核电厂的人因失效探讨与分析,结合工作人员的职业生涯与专业资历,定义并划分了人因失效的认知、逻辑及情绪3个发展阶段,从宏......
胡锦涛在总结与研究中国共产党历史方面形成了独特而深刻的见解。它以科学发展观为切入视角,以"两个历史决议"为指导,创造性地提出了......
逻辑学教学改革由来已久,但始终没有达成共识,"传统"与"现代"之争还在继续,但或许此时我们该重新审视此争论并提出新的改革方案。为此,......
分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动......
Let S be a set of states of a physical system and p(s) the probability of an occurrence of an event when the system is i......
...
Ontologies are widely used in modeling the real world for the purpose of information sharing and reasoning. Traditional ......
Nanjinganthus is an Early Jurassic angiosperm recognized based on the study of over 200 specimens.However,some other aut......