快乐心灵的推理故事

本套丛书共56册，精选广大中小学生喜闻乐见的古今中外的著名故事编纂而成，分为56个主题，每册故事围绕一个主题选取经典故事，启迪和教育读者，适合青少年阅读和收藏。本册以“唐诗”为主题。...

数字系统逻辑设计

本书系统地介绍了数字系统逻辑设计的基本概念和理论，着重介绍了数字系统分析和设计的基本方法。主要内容有数制和编码，逻辑代数基础知识，组合逻辑电路和时序逻辑电路的分析方法和设计方法。...

逻辑十九讲

本书是作者在遵循古希腊哲学先贤的理论基础上，面向普通的大众编写的常识普及本。书中的语言朴素，文字平实有序，没有出现高深晦涩之词语、句子。虽是常识，却不寡陋，是广大学子们、有兴趣于逻辑的大众的理想读本。...

酷玩丛书 巧推理妙断案

随着社会的发展和科学的进步，现代青年的生活呈现多样化、多媒体化的趋势。本书紧跟时尚，以现代青年当前流行的休闲娱乐方式成为主干，对其健康的生活有所指导和帮助。...

语言的逻辑句法

作者卡尔纳普哲学思想的发展，一般说来，有语义、句法、语用三个阶段。在句法这个阶段，他强调把哲学变成科学语言的元语言——即句法。旨在把科学研究的内容与科学的语言形式分别开来。他认为，内容或对象属于具体...

列宁 黑格尔“逻辑学”一书摘要

同意的计算 立宪民主的逻辑基础

教育逻辑学引论

本书共10章，主要内容有：逻辑、知识与教育，传统逻辑基础知识，逻辑与课堂教学论，数学教学的逻辑方法论，语言教学逻辑方法论，现代逻辑基础知识，数学命题逻辑系统，教学谓词逻辑及其他等。...

逻辑学导论 第11版

本书是当今逻辑教科书的标准范本。

数理逻辑

本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...