数理逻辑十二讲

宋方敏，吴骏编著2018 年出版156 页ISBN：9787111581222

本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象...

协和专家教你 完美备孕

马良坤主编；宣磊副主编2017 年出版176 页ISBN：9787121309823

怀孕是一件幸福美好的事。为了让更多的女性轻松顺利地当上妈妈，北京协和医院妇产科主任医师马良坤教授编著了这本书。本书第一章和第二章按照备孕妈妈准备、备育爸爸准备的顺序安排内容；第三章至第五章按照孕...

狄小杰侦探社 第1辑

蔡骏工作室著2008 年出版218 页ISBN：9787536699892

本书是由蔡骏组建的“狄小杰侦探社”创作团队共同创作的短篇悬疑推理小说结集，叙述了落魄推理小说作者狄小杰和电视台实习记者艾嘉莎所经历的一个个惊险的故事，每个故事独立成篇，描写了他们凭着自己的智慧与勇...

瑶山集

饶宗颐著；陈韩曦，李元骏，翁艾注译2016 年出版144 页ISBN：9787536077348

本书是饶宗颐“选堂诗词评注”丛书中的一种，包含了《瑶山集》及《集外诗》。饶宗颐曾于1943年秋天至桂林，任无锡国学专修学校教授。1944年，桂林告急，无锡国专迁至蒙山。冬，蒙山沦陷，饶宗颐曾二度进入大瑶山，窜迹.....

发生在教育在线的故事

张菊荣，焦晓骏编著2005 年出版249 页ISBN：7533439821

本书为教育随笔文集，共分三个部分，第一部分是“源起”，介绍了作者在作文教学改革上所作的具有实践操作意义和较为广泛借鉴意义的探索；第二部分以故事的形式，讲述作者对作文教学的新认识、新感悟，第三部分是“后.....

人与机器 思想人工智能

顾骏主编2018 年出版323 页ISBN：9787567132085

本书是关于人工智能的哲学思考，内容包括：图灵到底灵不灵？机器智能是如何生成的？“小冰”作品的诗意哪里来？赢了围棋就能战胜人类吗？机器人坐堂会让医生失业吗？人工智能独霸股市会颠覆人类集体性智慧吗？人工智......

大学英语四级词汇

姜德骏主编2013 年出版378 页ISBN：9787564713010

英语学习决胜的关键之一就是扩大词汇量，它是影响四级考试成绩的一个关键因素。同时，学习英语词汇绝不仅仅是为了应付考试，它是英语学习者开阔视野，扩大知识面，加深对外部世界的了解，借鉴和吸收外国文化精华，提......

发生在教育在线的故事

张菊荣，焦晓骏编著2010 年出版216 页ISBN：9787533439828

本书为教育随笔文集，共分三个部分，第一部分是“源起”，介绍了作者在作文教学改革上所作的具有实践操作意义和较为广泛借鉴意义的探索；第二部分以故事的形式，讲述作者对作文教学的新认识、新感悟，第三部分是“后.....

信息系统集成方法与技术

冯径，马玮骏编著2012 年出版319 页ISBN：9787502954956

本书结合当前IT热点技术的发展，从数据表示与存储、数据挖掘、语义本体，到多Agent、SOA、Web Services、网格计算和云计算；从． NET和J2EE技术框架，到相关支持产品，系统地阐述了数据集成方法与技术、应用集成方法与...

创意新居 AutoCAD & 3ds max室内设计典型实例

许明清，储云华，缪骏编著2005 年出版448 页ISBN：7115131481

本书介绍了用AutoCAD绘制施工图的方法。