逻辑与

数学逻辑与推理

《数学逻辑与推理》,作者:(英)约翰逊(D.A.Johnson),(美)泰勒(D.F.Taylor)著;向延育译 出版社:科学出版社 ISBN:130312503。本书是《自修数学》小丛书中的一本.它从实用角度出发介绍了逻辑学中常用的归纳法及演绎法,并结合生活中的实例讲述了数学的推理论证、逻辑结构和逻辑数学等基本知识,书中穿插了不少富有启发性的练习,书末附有答案.本书深入浅出、生动有趣,可供中学生

行政规定的法治逻辑与制度构建

《行政规定的法治逻辑与制度构建》,作者:张浪著 出版社:科学出版社 ISBN:9787030609380。  《行政规定的法治逻辑与制度构建》是行政规定的法治逻辑与制度构建进行系统探讨研究的专着。通过法理阐述、规范分析、比较研究和实证研究相结合等方法,阐明行政规定的概念、价值及其法律地位和法律属性,明确其中包含的形式合法性、程序合法性和实质合法性的法治逻辑结构要素。形式合法性体现在行

逻辑与哲学:真与意义融合与分离之争的探究

《逻辑与哲学:真与意义融合与分离之争的探究》,作者:郭建萍 出版社:科学出版社 ISBN:9787030499578。本书以真与意义基于逻辑与哲学对话句真的两种不同解读为主线, 从逻辑的视角探究自然语言意义理论中真与意义融合、分离之争的焦点、实质及根掘,指出逻辑与真是化解这场争论的关键所在, 逻辑上对真的语义论达成共识之时, 也就是自然语言意义理论中真与意义之争得以解决之时。本书坚持认为,即使在

超大规模集成电路设计. Ⅱ : 逻辑与测试

《超大规模集成电路设计. Ⅱ : 逻辑与测试》,作者:树下行三 出版社:科学出版社 ISBN:7030024575。本书从基础理论到最新发展,介绍了集成电路设计中的逻辑设计与测试技术。其中包括布尔代数、逻辑设计、逻辑模拟、测试系统的生成及易测性设计。

数字逻辑与数字系统 | 3版

《数字逻辑与数字系统 | 3版》,作者:白中英主编 出版社:科学出版社 ISBN:703009462X。本书系统讲述数字逻辑和数字系统的基本概念、分析方法和设计原理,内容包括:开关理论基础、组合逻辑、时序逻辑、可编程逻辑器件、数字系统等。

数理逻辑与集合论

《数理逻辑与集合论》,作者:房元霞,赵汝木,盛秀艳 出版社:科学出版社 ISBN:9787030469083。本书的内容为数理逻辑和集合论,共8章.第1~5章是数理逻辑部分:第1~3章是数理逻辑,包括命题逻辑、谓词逻辑及其公理化理论;第4章是简单模态逻辑,第5章是利用基础知识分析基础教育阶段数学教学中遇到的问题.在每一节中将本节内容所渗透的重要的思想方法提炼出来放在后面,以期利于读者对内

数字逻辑与数字系统题解、题库与实验 | 2版

《数字逻辑与数字系统题解、题库与实验 | 2版》,作者:白中英,杨春武主编 出版社:科学出版社 ISBN:7030096177。本书分上、中、下三篇。上篇是解题指南,提供了数字逻辑级、数字系统级的典型习题约500题;中篇是实验指南;下篇是题库样卷,提供了本科生、大专生期末试卷,研究生入学试卷各两套。

数字逻辑与数字系统 : 网络版 | 3版

《数字逻辑与数字系统 : 网络版 | 3版》,作者:白中英主编 出版社:科学出版社 ISBN:7030103718。本书包括六章内容,根据数字逻辑器件的发展历程,系统地讲述了数字逻辑和数字系统的基本概念、分析方法和设计原理。

逻辑与心灵

《逻辑与心灵》,作者:宋荣 出版社:科学出版社 ISBN:9787030490322。本书主要针对命题态度问题、意向性问题、心理内容问题、非存在问题、科学哲学中的反常问题等,采用逻辑学的分析视角,综合当代西方心灵哲学的前沿发展,力图彰显逻辑的心理主义和心灵的逻辑主义立场。