逻辑

晶体管—晶体管逻辑集成电路与数字技术

《晶体管—晶体管逻辑集成电路与数字技术》,作者:汪希时编著 出版社:科学出版社 ISBN:15031380。本书专门分析论述晶体管-晶体管逻辑(TTL)集成电路,以及它在数字技术中的应用. 全书共分十六章.它分为两大部分,第一部分为第一至五章,主要分析小规模TTL集成电路,以及它们在数字技术中的应用;第二部分为第六至十六章,其中前九章介绍各种类型中规模和大规模TTL集成

论环境法的逻辑嬗变 : 从“义务本位”到“权利本位”

《论环境法的逻辑嬗变 : 从“义务本位”到“权利本位”》,作者:王彬辉著 出版社:科学出版社 ISBN:7030175778。本书对环境法学者关于环境法本位的观点进行了详细介绍、分析和评价,从实证和应然两个角度对环境法本位进行了客观判断。同时以权利为本位完善中国环境法律制度和构建环境法学的权利模式研究体系进行了初步研究。

语言与逻辑——当代反实在论的核心问题研究

《语言与逻辑——当代反实在论的核心问题研究》,作者:胡瑞娜 出版社:科学出版社 ISBN:9787030475947。实在论与反实在论之争是当代西方哲学的核心问题之一。随着现代数理逻辑和量子力学的发展,实在论受到来自各方面的挑战。而现代数理逻辑和量子力学所证明的排中律和二价原则的无效性则为反实在论提供了强有力的依据。随着对形而上学的拒斥带来的“本体论的弱化”以及“语言学转向”的到来,语言和逻辑成

逻辑、信息和互动

《逻辑、信息和互动》,作者:(荷)约翰·范本特姆著;刘奋荣,余俊伟等译 出版社:科学出版社 ISBN:9787030205254。本书是关于当今模态逻辑所研究的主要问题的一个论文集。全书展示了模态逻辑的发展历程,阐述了模态逻辑的数学理论。

经济测度逻辑挖掘:困难与原则

《经济测度逻辑挖掘:困难与原则》,作者:邱东 著 出版社:科学出版社 ISBN:9787030588746。  作为当代经济统计学批判之一,本书主要针对以斯蒂格利茨为首的“经济表现和社会进步测度委员会”的经济测度报告提出质疑。该报告可分为三大部分:传统 GDP 统计、生活质量测度和可持续发展测度。本书分析了经济测度“系统性革命”的必要性,特别是其可行性,指出了测度问题与解决办法之间的逻

转型经济下装备制造企业的主导逻辑及其影响因素

《转型经济下装备制造企业的主导逻辑及其影响因素》,作者:苏敬勤,单国栋,张帅 著 出版社:科学出版社 ISBN:9787030579171。  改革开放以来,中国装备制造企业取得了长足的发展。除中国庞大的市场驱动之外,决定企业战略的主导逻辑起了重要作用。中国装备制造企业的主导逻辑是什么?影响主导逻辑形成的因素有哪些?它们之间又有什么关系?这些学术界此前甚少探讨的问题正是本书所力争解决的核心问题。为

形式逻辑要现代化——家龙师谈逻辑

《形式逻辑要现代化——家龙师谈逻辑》,作者:刘新文,贾青 编 出版社:科学出版社 ISBN:9787030595980。本书收集了张家龙研究员从1978年开始发表的部分论文和演讲报告,分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题,下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。

食品安全的逻辑

《食品安全的逻辑》,作者:周德翼,吕志轩著 出版社:科学出版社 ISBN:9787030215789。本书以蔬菜质量安全为研究对象,通过对湖北、山东、浙江和广东等地的实地调研,运用新制度经济学等相关领域的理论,对我国的政府监管者、蔬菜生产组织、农户以及消费者之间相互作用的机制进行了探讨,揭示出一幅有较大可信度的我国蔬菜安全运作的逻辑图。

逻辑动态系统代数状态空间法理论与应用

《逻辑动态系统代数状态空间法理论与应用》,作者:闫永义,岳菊梅 著 出版社:科学出版社 ISBN:9787030596987。本书介绍了一种新的系统建模、分析与综合的数学方法——逻辑动态系统代数状态空间法。该方法是在矩阵的半张量积的基础上发展而来的,在使用矩阵处理复杂的泛逻辑系统方面具有很大优势。全书共9章,第1~4章介绍逻辑动态系统代数状态空间法;第5~8章为其各种应用,包括有限自动机的动态建模

溯因推理——从逻辑探究发现与解释

《溯因推理——从逻辑探究发现与解释》,作者:(墨)阿丽丽色达(Aliseda,A.),魏屹东,宋禄华 出版社:科学出版社 ISBN:9787030477392。本书采取逻辑进路,首先探讨了科学哲学、人工智能和认知科学领域中发现的逻辑以及科学方法论中逻辑的作用。其次将溯因作为一种逻辑推论,运用语义树结构框架分析产生这种推理的计算过程。再次将科学哲学中的解释模型作为种溯因论证形式,提供了表征结构的逻辑