可计算性与数理逻辑

本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻...

2005.06

数学逻辑

本书介绍了数字与编码,逻辑代数等。

2004.04

逻辑推理技法与训练

本书通过对逻辑推理的学习和训练,有效地提高考生的实战能力。

2003.08

可计算性与数理逻辑

本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题,并重新组织和改写...

2003.06

了不起男孩像福尔摩斯一样聪明

本书中,我们精选了一些男孩感兴趣的推理小故事,使他们的大脑在思考中变得越来越灵活。本书共四章,包括经...

2014.8

数理逻辑

本书系统地讲解了数理逻辑的基本部分——命题演算与谓词演算。

2003.

实用逻辑斯谛回归方法

逻辑斯谛回归是最常用的统计方法之一,应用于医疗统计、信用评级、社会统计、计量经济学等诸多领域。本书结...

2018.12

数理逻辑十二讲

本书介绍数理逻辑的基础知识和基本理论,主要讲授命题演算和谓词演算。通过本课程的学习,学生将掌握相关的...

2017.3

数理逻辑

本书分数学基础基本理论与数理逻辑部分,其中数学基础基本理论部分包括:集合论基础、可计算性理论基础等内...

2013.

数理逻辑的思想与方法

本书共分6章。第一章介绍了运算的基本思想与方法;第二章至第四章介绍了命题逻辑的思想和方法;第五六章介...

2012.10