逻辑演算相关论文
随着经济全球化和知识经济时代的到来,以及全球制造的出现,供应链在制造业管理中得到普遍的应用,相应的,供应链管理也越来越受到人......
在基于构件开发的软件工程 (CBSE)中，许多大型的、复杂的软件系统是在一个基本系统的基础上，通过组装机制将构件插入到基本系统中的......
一含义范畴与对象范畴在《逻辑研究》第一卷《纯粹逻辑学导引》中,胡塞尔指出,范畴概念和建立在这些范畴概念之上的规律构成了理论......
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采......
提出了一种适用于大规模流媒体应用的集群缓存代理体系结构，该结构包括由多个控制器构成的控制子系统和由一组内容存储器构成的分布......
DNA计算是一种模拟生物分子DNA的结构并借助于分子生物技术进行计算的新方法,开创了以化学反应作为计算工具的先例,为解决NP-完全......
逻辑演算对推理形式有效性的研究,比传统逻辑更抽象、更严格,其原因是形式化方法的运用.形式化方法包括构造形式系统(语法的)和对......
文章主要针对中国古代语言和论证的一些重要方面进行探讨,特别地,我们重点考察了儒家和墨家的观点。我们主张使用轻型的逻辑模型方......
莱布尼茨的逻辑思想是在近代哲学的认识论转向和数学发展的时代背景下产生的。亚里士多德的命题理论与三段论、卢禄的概念组合术、......
由于电子计算机的存贮量小，运算速度慢，智能化低，特别是制造工艺趋于极限。最近，采用计算的可能性引起了人们的广泛关注，尤其是它的良好......
利用LABVIEW图形化编程软件中的MATLAB Script节点,将LABVIEW和强大的数据处理软件MATLAB结合起来,充分体现各软件优势,建立完整的......
在逻辑与哲学的研究中,弗雷格具有独特的求真方法,弗雷格认为,思想是某种对此能够产生真的问题的东西,逻辑研究的出发点是具有真值......
DNA计算是一种基于生化反应机理的新型信息处理模式,与基于图灵机思想的电子计算机原理截然不同。近年来,DNA分子生物计算理论、实......
作为语言哲学的创始人,弗雷格认为哲学研究的根本任务是对语言进行逻辑分析,他把语言作为分析的对象,并致力于摆脱日常语言的缺陷......
鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学......
DNA计算,又称为生物分子计算,是基于生化反应的一种全新的计算模式。对于复杂的NP完全问题,DNA计算机与传统晶体管计算机相比,具有......
在《现代逻辑》一著中,汪奠基先生认为,现代逻辑之科学思想,非一家一派之专论,而是综合西方国家各派的理论"参考取益"。现代逻辑乃......
