数理逻辑与控制论 试用本

继电器接点控制线路的逻辑设计

跨越缺口 故事中的数与逻辑

可编程逻辑器件PAL和GAL

计算机语言的形式语义

中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容

推理论辩谜题精选：逻辑思维训练

设计基础 来自观念的形式

本书的主要目的是引导艺术设计者如何将一个模糊的想法发展成一个清晰的观念，并找到恰当可行的途径进行视觉表达，使想法最终成为一件完整成熟的作品。...

思想者的逻辑

本书是刘庆昌教授的随笔集，分“思想与学术”“道德与人生”“教育与教学”三部分，共177篇，反映了作者十年来对学术、人生和教育问题的思考。书中许多文章已经在各种报刊发表，产生了良好的影响。...

语言与逻辑问题探索

本书是一本探讨研究语言与逻辑问题的学术著作，全书主要涉及语法、修辞和逻辑三个学科，三方面相互结合，进行跨学科研究，运用语义、句法、语用三个方面的理论与方法，对语言问题进行多层面、多角度的探索。...

《逻辑导论》学习指导

本书从“基本概念、基本原理、基础知识”出发，总结、归纳、整理概念、原理之下的相关知识点，为在校生期末考试、研究生入学考试、国家司法考试提供知识体系保障。主要内容包括：逻辑概述、演绎推理、归纳推理、...