（韩）池义弘著；陈艳译2012 年出版64 页ISBN：9787511326270
本书让孩子通过数数、排序、比较等游戏熟悉数字1～20。初步培养孩子的数、量理念，培养比较能力，初步为建立孩子生活与数字的关系，并有意识培养一定的分辨能力。...
（韩）池义弘著；陈艳译2012 年出版64 页ISBN：9787511326140
本书通过数数、加减运算、连线等方式让孩子们熟练掌握数字100以内的运用。图文并茂地让孩子们通过可爱的图片，学会动脑，从而灵活、准确地学会100以内的数字运算。...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
马希文著2003 年出版604 页ISBN：7100035430
马希文(1939-2000年)为我国计算语言学尊基人.与朱德熙先生共同组建北大计算语言学研究所. 本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学（包括计算语言学）方面的重要论述20...
（韩）池义弘著；陈艳译2012 年出版64 页ISBN：9787511326195
本书让孩子通过数数、排序、比较、连线等方式加深对数字1～20的理解。采用图文结合的形式，以物的数量表示数字的大小，给6岁的孩子以直观的影响，使他们易于接受知识，提高学习能力、开发智力。...
沈恩绍著2003 年出版198 页ISBN：7030110471
21世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...
