面向计算机科学的数理逻辑相关电子书下载

刘坚主编2001 年出版192 页ISBN：

（加）斯图亚特·G.杉克尔（Stuart G.Shanker）主编2016 年出版505 页ISBN：9787300235394

《劳特利奇哲学史》第九卷考察了20世纪科学、逻辑和数学哲学的十个关键主题。每篇专题论文都由该领域世界重要专家所写，对所讨论的主题提供了综合性介绍。其写作方式不仅面向哲学专业学生，而且也面向对这些主...

陈立潮主编；常文萃，曹建芳，郭晓东副主编2016 年出版299 页ISBN：9787040449075

本书以“零基础”为起点，首先阐述了学习C语言必备的计算机基础知识和程序设计的基础知识，然后以C语言语法和句法的规则、程序设计方法和计算机思维的培养为重点，以应用为主线，由浅入深地阐述了C语言数据类型、...

（美）Robert V.Binder著；华庆一等译2001 年出版770 页ISBN：7115091528

王人生主编1987 年出版320 页ISBN：

（美）Namir C.Shammas著；宋炎，曹旭华等译1996 年出版318 页ISBN：7505332724

马茜，盖刚，张勇编写2222 年出版162 页ISBN：

1959 年出版62 页ISBN：T3007·270

张淑誉，郝柏林2222 年出版3 页ISBN：

北京师范大学数学科学学院主编；罗里波编著2012 年出版300 页ISBN：9787303136025

本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...