经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《概率论与数理统计》读书内容简介:rson出版公司引进，由北京大学房祥忠等改编。《概率论与数理统计(第3版改编版)》包括概率论入门，经典统计和现代统计的基础部分，具体内容包括：概率论，条件概率，随机变量及其分布，数学期望，几种特殊分布，估计，样本分布和评估，假设检验，范畴数据和非参数...详情

经典好书《数理哲学导论》读书内容简介: 这本书是罗素的数理哲学的一本通俗著作。在这本书中罗素以他的明白晓畅的笔法陈述了数学原理研究中确定的科学结果。他还清楚明确地陈述了他的数理哲学观点。这就是人们通常称做的逻辑主义。作者简介详情

经典好书《概率论与数理统计》读书内容简介: 这版由1989年8月出版的《概率论与数理统计》第二版修订而成，内容包括概率论、数理统计、随机过程三部分，每章附有习题，可以作为高等院校工科、理科（非数学专业）各专业的教材使用，也可供工程技术人员参考。作者简介详情

经典好书《概率论与数理统计》读书内容简介: 《概率论与数理统计》是由中国科学技术大学出版社出版的。作者简介详情

经典好书《高等数理统计学》读书内容简介:统计学基础教科书”，内容除预备知识外，主要是关于几种基本统计推断形式（点估计、区间估计、似设检验）的大小样本理论和方法，另有一章讲述线性模型的初步理论。《高等数理统计学》的最大特色是习题及其提示的安排，占了近半的篇幅，其中除少量选摘自有...详情

经典好书《高等数理统计学》读书内容简介: 作者简介详情

经典好书《数理逻辑》读书内容简介:版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及...详情

经典好书《数理逻辑》读书内容简介: 本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。作者简介邢滔滔，北京大学哲学系副教授详情

经典好书《概率论与数理统计教程》读书内容简介:通高等教育“十一五”国家级规划教材。全书共八章，前四章为概率论部分，主要叙述各种概率分布及其性质，后四章为数理统计部分，主要叙述各种参数估计与假设检验。 《概率论与数理统计教程》的编写从实例出发；图文并茂，通俗易懂，注重讲清楚基本概念与统计思想...详情