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

鲁建文著2013 年出版208 页ISBN：9787540764692

本书收录了鲁建文先生近年来发表于各种报刊上的一些文章。内容多为作者对于历史人物和社会现实的观察和评论。作者虽为官场中人，却不失学人风采，发言议论肯綮中的，显出诚恳的态度和务实的作风，所论虽隔数年放在...

肖慎勇著2016 年出版218 页ISBN：730242957X;9787302429579

蒋本珊，蔡开裕主编2009 年出版371 页ISBN：9787121085680

本书由希赛IT教育研究中心组织编写，是“快乐考研，轻松过关”系列丛书的一本，内容涵盖了考试大纲规定的所有知识点，对考试大纲规定的内容有重点地进行了细化和深化。阅读本书，就相当于阅读了一本详细的、带有知识...

中国计算机学会学术工作委员会主编2005 年出版236 页ISBN：730211420X

中国计算机学会学术工作委员会主编清华大学出版社北京内容简介本书是由中国计算机学会学术工作委员会组织编写的具有权威性的计算机科学技术年度发展报告，总结了2004年度计算机科学技术发展的热点问题和现状...

第一机械工业部生产调度局编1981 年出版36 页ISBN：

傅根清等主编1995 年出版226 页ISBN：780120042X

暂缺《心灵的桥梁：语言学与逻辑学》简介

（美）肖恩·阿美拉蒂著；杜美丽译2018 年出版278 页ISBN：7508681528

（英）约翰·麦奎利（John Macquarrie）著；安庆国译1997 年出版255 页ISBN：7220038909

本书论述了当代神学面临的语言问题，考察了神学的语言与逻辑。

芭芭拉·明托（Barbara Minto）著2007 年出版379 页ISBN：9789867889591

方舟子著2007 年出版197 页ISBN：9787313040053

本书是科学文化系列丛书之一，作者在介绍现代生物学史的同时，尤其注重思想性。