数理逻辑

• 

  几何与数理逻辑

  查看PDF目录购买本书

  汤璪真著2007 年出版224 页ISBN：7303084533

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

• 

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

  查看PDF目录购买本书

  （德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

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

• 

  数理逻辑基础与粒计算

  查看PDF目录购买本书

  闫林著2007 年出版259 页ISBN：9787030198280

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

• 

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

  查看PDF目录购买本书

  耿素云编著1993 年出版382 页ISBN：7301019904

• 

  数理逻辑

  查看PDF目录购买本书

  （苏）叶尔绍夫，（苏）巴鲁金著；沈百英，叶瑞芬译1990 年出版274 页ISBN：7562800804

  暂缺《数理逻辑》简介

• 

  数理逻辑教程

  查看PDF目录购买本书

  陈慕泽著2001 年出版337 页ISBN：7208037485

• 

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

  查看PDF目录购买本书

  陆钟万著2002 年出版263 页ISBN：7030096576

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

• 

  简明数理逻辑基础

  查看PDF目录购买本书

  刘治旺等编1985 年出版278 页ISBN：7173·704

• 

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

  查看PDF目录购买本书

  吴允曾著；康奉主编1991 年出版321 页ISBN：7530404687

• 

  数理逻辑、集合

  查看PDF目录购买本书

  邱伟德，胡美琛编著1987 年出版213 页ISBN：15045·总2997有5403

• 

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

  查看PDF目录购买本书

  陆钟万著1989 年出版240 页ISBN：7301008287

• 

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

  查看PDF目录购买本书

  （波）安德热依·莫斯托夫斯基（A.Mostowski）著；郭世铭译1983 年出版195 页ISBN：13255018

• 

  数理逻辑教程

  查看PDF目录购买本书

  莫绍揆著1982 年出版391 页ISBN：13255·003

• 

  数理逻辑与控制论 试用本

  查看PDF目录购买本书

  复旦大学数学系编著1960 年出版277 页ISBN：13119·382

• 

  数理逻辑引论

  查看PDF目录购买本书

  马振华编著1982 年出版273 页

• 

  数理逻辑概貌

  查看PDF目录购买本书

  莫绍揆著1989 年出版55 页ISBN：7502306617

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

• 

  数理逻辑

  查看PDF目录购买本书

  莫绍揆等著1984 年出版250 页ISBN：13010·01025

• 

  数理逻辑

  查看PDF目录购买本书

  俞瑞钊编著1990 年出版287 页ISBN：7308004864

• 

  数理逻辑是什么

  查看PDF目录购买本书

  （英）John N. Crossley等著2018 年出版160 页ISBN：9787518420957

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

• 

  数理逻辑基础

  查看PDF目录购买本书

  张振华编著1990 年出版206 页ISBN：7561009712