8080程序设计在逻辑设计中的应用

（美）亚当·奥斯本（Osborne，A.）著；赵辰等译.8080程序设计在逻辑设计中的应用.北京：人民邮电出版社

逻辑学讲义

本书译自联邦德国达姆斯塔特科学书社1968年出版的《康德文集》第5卷。这是一部由学生听讲笔记整理而成的康德著作，不过它在出版前曾经康德亲自审定过，因而比起其他版本来更具有权威性。在本书中，康德在传统的...

推理作家的信条

包含六部短篇故事的悬疑推理小说集。近未来时代，一台家用机器人清晨醒来，正准备投入一天的工作之中，却发现自己的主人已经被杀，它只能在自己的行动规则内，尽可能探究凶杀案的真相，可24小时之后就会失去记忆并重.....

悖论、逻辑与非Cantor集合论

本书共分为两编13章，介绍了关于悖论、逻辑与非Cantor集合论的相关内容，给出了正集和反集的概念，阐述了域外项的逻辑性质，重构ZF公理系统，给出了一般集合的递归性与“停机问题”。本书适合于从事悖论、逻辑与非Ca...

逻辑汉语 语法篇

“逻辑汉语”是在现代汉语的基础上，以语法为单位、以逻辑为准绳被创建起来的。逻辑汉语的特点是，遣词造句讲求逻辑的严谨、缜密性，其词类划分更具合理性和可操作性，使得规则化、科学化的中文分词书写成为可能，也...

致命空间 挑战智商的密室推理经典 上

密室案件是侦探小说中的最顶级和最具代表性的案件类型，是“不可能犯罪”的一种，是表象和逻辑上都不可能发生的犯罪行为。本书精选密室小说中最经典的三部《弓区之谜》、《黄屋奇案》、《三口棺材》，希望给读者...

致命空间 挑战智商的密室推理经典 下

密室案件是侦探小说中的最顶级和最具代表性的案件类型，是“不可能犯罪”的一种，是表象和逻辑上都不可能发生的犯罪行为。本书精选密室小说中最经典的三部《弓区之谜》、《黄屋奇案》、《三口棺材》，希望给读者...

马克思 恩格斯 列宁 斯大林 毛主席论形式逻辑

大众民主 一种思想史的文本解读与逻辑重构

本书旨在通过对政治学思想史的解读与阐释，指出“大众民主”的限度与可能，进步与不足，并提出相应的使之完善的建议。

集论与逻辑 面向计算机科学

21世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...