面向计算机科学的数理逻辑

互逆主义数理逻辑

本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。

儿童识谱启蒙

本书以通俗易懂的语言和生动有趣的图画，帮助孩子轻松学习乐谱知识。特色是通过简谱与五线谱的对照，让他们一举两得地掌握这两种乐谱常用的知识。用彩色画使这本教材类书谱更吸引读者的“眼球”。...

儿童启蒙读本系列丛书 拼音

本套丛书是针对3～6岁儿童的学前启蒙读物，包括四册，《唐诗》、《识字》、《拼音》、《数学》。《拼音》分册为每个声母和韵母加上有趣的顺口溜，并配上彩色图片，标注了发音提示，书后还有练习题。...

儿童剪纸技法启蒙教材 折剪法技艺及应用

数理逻辑的思想与方法

本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。

儿童启蒙丛书 1-3岁宝宝养育大全

本书按照时间生长的顺序，就1～3岁小孩，应该注意的相关问题一一叙述。

儿童梦想启蒙绘本 谁偷了巧克力

李秀英阶梯数学 4-5岁 数理逻辑思维

本书是著名脑开发研究专家李秀英根据4～5岁儿童生理、心理特征和认知水平，以幼儿园教育指导纲要为准则编写的低幼益智类数学丛书，阶段性地、系统性地训练儿童的数学思维能力，激发儿童对数学学习的兴趣。本套丛书...

数理逻辑 第2版 英文版

本书是数理逻辑课程的教材。