宋方敏，吴骏编著2018 年出版156 页ISBN：9787111581222
本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象...
（德）MICHAELA PERLMANN-BALME；（德）SUSANNE SCHWALB；（德）DORTE WEERS编2006 年出版153 页ISBN：7560055060
（德）罗伯特·舒曼（Robert Schumann）曲） （德）克拉拉·舒曼编辑；（德）约阿希姆·德拉海姆新版编订2001 年出版62 页ISBN：7540425911
本书收分“儿童曲集”和“少年曲集”两部分，有“旋律”、“无词歌”、“春之歌”、“回忆”、“除夕之歌”等近40首乐曲。
（德）卡尔·H·G·威特著；张兵编译2008 年出版207 页ISBN：9787505419018
孩子的一生决定于3岁之前！科学研究显示，一个孩子3岁之前的生长发育会影响其一生的发展变化：⑨性格：孩子成年后的性格基本上在3岁之前就已经定型，3岁之后基本不变；⑨智商：儿童的脑细胞组织在3岁之前就已完成60％......
蔡骏工作室著2008 年出版218 页ISBN：9787536699892
本书是由蔡骏组建的“狄小杰侦探社”创作团队共同创作的短篇悬疑推理小说结集，叙述了落魄推理小说作者狄小杰和电视台实习记者艾嘉莎所经历的一个个惊险的故事，每个故事独立成篇，描写了他们凭着自己的智慧与勇...
（德）卡特亚·拜尔策划；（德）美因茨SAM传媒，（德）萨比娜·A·维尔纳博士编辑部等编写；于晓菲，王向阳，温盛妮译2015 年出版186 页ISBN：7533283937
本书是《德国威森经典少儿百科系列》百科中的一本，德国引进经典百科。
饶宗颐著；陈韩曦，李元骏，翁艾注译2016 年出版144 页ISBN：9787536077348
本书是饶宗颐“选堂诗词评注”丛书中的一种，包含了《瑶山集》及《集外诗》。饶宗颐曾于1943年秋天至桂林，任无锡国学专修学校教授。1944年，桂林告急，无锡国专迁至蒙山。冬，蒙山沦陷，饶宗颐曾二度进入大瑶山，窜迹.....
张菊荣，焦晓骏编著2005 年出版249 页ISBN：7533439821
本书为教育随笔文集，共分三个部分，第一部分是“源起”，介绍了作者在作文教学改革上所作的具有实践操作意义和较为广泛借鉴意义的探索；第二部分以故事的形式，讲述作者对作文教学的新认识、新感悟，第三部分是“后.....
顾骏主编2018 年出版323 页ISBN：9787567132085
本书是关于人工智能的哲学思考，内容包括：图灵到底灵不灵？机器智能是如何生成的？“小冰”作品的诗意哪里来？赢了围棋就能战胜人类吗？机器人坐堂会让医生失业吗？人工智能独霸股市会颠覆人类集体性智慧吗？人工智......
