数理逻辑相关pdf电子书下载

2007 年出版224 页ISBN：7303084533

本书介绍汤璪真先生所著几何与数理逻辑的内容。

面向计算机科学的数理逻辑系统建模与推理 modelling and reasoning about systems

（德）Michael Huth （英）Mark Ryan著何伟樊磊译

下载此书RAR压缩包在线购买PDF电子书

2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

数理逻辑基础与粒计算

闫林著

下载此书RAR压缩包在线购买PDF电子书

2007 年出版259 页ISBN：9787030198280

粒计算是近年来计算机科学许多领域关注和研究的热点，对它的研究思路和处理的方法就是把大的问题分解为小的问题，把整体的概念分解为细小的概念，把复杂的处理分解为简单的处理，总之就是把整体分解为粒。然后再通...

离散数学习题集数理逻辑与集合论分册

耿素云编著

下载此书RAR压缩包在线购买PDF电子书

1993 年出版382 页ISBN：7301019904

数理逻辑

（苏）叶尔绍夫（苏）巴鲁金著沈百英叶瑞芬译

下载此书RAR压缩包在线购买PDF电子书

1990 年出版274 页ISBN：7562800804

暂缺《数理逻辑》简介

数理逻辑教程

陈慕泽著

下载此书RAR压缩包在线购买PDF电子书

2001 年出版337 页ISBN：7208037485

面向计算机科学的数理逻辑

陆钟万著

下载此书RAR压缩包在线购买PDF电子书

2002 年出版263 页ISBN：7030096576

《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...

简明数理逻辑基础

刘治旺等编

下载此书RAR压缩包在线购买PDF电子书

1985 年出版278 页ISBN：7173·704

吴允曾选集数理逻辑与计算机科学

吴允曾著康奉主编

下载此书RAR压缩包在线购买PDF电子书

1991 年出版321 页ISBN：7530404687

数理逻辑、集合

邱伟德胡美琛编著

下载此书RAR压缩包在线购买PDF电子书

1987 年出版213 页ISBN：15045·总2997有5403

面向计算机科学的数理逻辑

陆钟万著

下载此书RAR压缩包在线购买PDF电子书

1989 年出版240 页ISBN：7301008287

数学基础研究三十年 1930至1964年数理逻辑和数学基础研究发展状况讲演录

（波）安德热依·莫斯托夫斯基（A.Mostowski）著郭世铭译

下载此书RAR压缩包在线购买PDF电子书

1983 年出版195 页ISBN：13255018

数理逻辑教程

莫绍揆著

下载此书RAR压缩包在线购买PDF电子书

1982 年出版391 页ISBN：13255·003

数理逻辑与控制论试用本

复旦大学数学系编著

下载此书RAR压缩包在线购买PDF电子书

1960 年出版277 页ISBN：13119·382

1982 年出版273 页

1989 年出版55 页ISBN：7502306617

数理逻辑是采用数学方法来研究推理的一门科学

数理逻辑

莫绍揆等著

下载此书RAR压缩包在线购买PDF电子书

1984 年出版250 页ISBN：13010·01025

数理逻辑

俞瑞钊编著

下载此书RAR压缩包在线购买PDF电子书

1990 年出版287 页ISBN：7308004864

数理逻辑是什么

（英）John N. Crossley等著

下载此书RAR压缩包在线购买PDF电子书

2018 年出版160 页ISBN：9787518420957

本书是一本关于数理逻辑的导论书，面向的是没有任何数学基础的读者，主要介绍了数理逻辑中谓词演算的完全性、模型论、递归函数、哥德尔不完全性定理、集合论等，以帮助读者掌握关于数理逻辑的一般知识，提高其在日...

数理逻辑基础

张振华编著

下载此书RAR压缩包在线购买PDF电子书

1990 年出版206 页ISBN：7561009712

首页上一页 2 345 6 7 下一页尾页