大约有3,000项符合查询结果项。（搜索耗时：0.0094秒）
为您推荐： press北京师范大学哲学系逻辑教研室 中国人民大学哲学系逻辑教研室 南开大学哲学系逻辑学教研室著 press辽宁大学哲学系逻辑教研室 东北师范大学哲学教研室逻辑学教学小组 南开大学哲学院逻辑学教研室著
-
集论与逻辑 面向计算机科学
沈恩绍著2003 年出版198 页ISBN：703011047121世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...
-
法官的逻辑 海淀法院典型案例判解
朱江主编2003 年出版322 页ISBN：7503640804本书是为纪念北京市海淀区人民法院建院50周年，将1995年：2002年海淀法院审理的11个具有典型意义的案例汇编成册，由承办法官重新审视这些案例，加以点评，旨在为研究基层法院业务建设提供一个载体。...
-
-
数字电路与逻辑设计 第3版 导教·导学·导考
王有绪主编；许柯，姚海红编2003 年出版371 页ISBN：756121670X本书根据王疏银主编的《数字电路与逻辑设计》一书，按章次编写了重点内容提要、重点知识结构、考点及常见题型精解、考研点津、课后习题祥解、学习效果测试及参考答案6大部分。...
-
数字电路与逻辑设计实训教程
卢菊洪主编2003 年出版130 页ISBN：7030120531本书不仅介绍了数字电子技术的一些经典内容。而且也介绍了数字电子技术的一些现代的内容，概念清楚，应用性强，有较广的适应性。本书是跟数字电路与逻辑设计课程配套的实训教材，共有7章18个实训项目和5个综合性设...
-
数理逻辑引论与归结原理
王国俊著2003 年出版216 页ISBN：7030115791本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...
-
-
36案 疑案迷踪与侦查逻辑·刑警笔记
赵志飞著2003 年出版391 页ISBN：7810873695本书用逻辑学中的推理方法，结合具体案例，分别说明侦查逻辑在判定案件性质、推定犯罪过程、确定侦查方向、划定侦查范围、锁定犯罪嫌疑人、追捕逃犯、讯问犯罪嫌疑人、并案侦查以及逻辑在侦查破案中的“或然性...
-
多值逻辑理论及应用研究 罗铸楷教授文集
罗铸楷著2003 年出版456 页ISBN：7810990020本书稿为罗铸楷教授多年来所著的“多值逻辑理论及应用研究”方面的论文，共分为四个部分：一、多值逻辑的完备性理论；二、部分多值逻辑的完备性理论；三、一元多值逻辑函数的完备性理论；四、多值逻辑的应用。...
-
