数理逻辑是什么

本书是一本关于数理逻辑的导论书，面向的是没有任何数学基础的读者，主要介绍了数理逻辑中谓词演算的完全性、模型论、递归函数、哥德尔不完全性定理、集合论等，以帮助读者掌握关于数理逻辑的一般知识，提高其在日...

数理·逻辑·比较·常识 5岁 提升篇

让孩子通过数数、排序、比较等方式熟练掌握数字21～40。并在课本中学习联系生活事物去理解数字、数量的关系，扩大孩子的生活认识面，激发孩子的学习欲望，初步培养孩子的比较能力。...

0-3岁早教启蒙全书 思维能力

本书是专为0～3岁宝宝精心策划的早教启蒙书。本书内容齐全，全方位激发宝宝的大脑发育、促进宝宝智力发展、全面提升宝宝的能力。此外，本书中还加入了亲子互动内容，让宝宝和家长一起，在玩儿中学，在学中玩儿，是宝......

数理逻辑基础 上

包含《现代数学基础丛书》共50本，一个书号，定价7000元，面向馆配市场，装箱销售。本套丛书是《现代数学基础丛书的》典藏版，包含了在不同时间段出版的数学基础专著，使读者能够方便的阅读和查阅。本书涉及书目均为数...

数理逻辑引论

本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基础。全书共分五章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演...

数理·逻辑·比较·常识 6岁 提升篇

本书让孩子通过数数、排序、比较等方式熟练掌握数字21～50的运用。以动手训练链接日常生活常识来开发孩子的智力，提高孩子的认知力，在对数字的运用中掌握数字，达到开发智力的目的。...

儿童启蒙必读丛书 谜语300则

本书是通过看图读儿歌的形式来引导孩子猜谜语，书中共收集了谜语300则，内容涉及动物、植物、人体、农业、食品、日常用品、文化用品、军事科技、天文等方面的知识，可谓丰富多彩。多引导孩子猜谜语，不仅能增长知...

离散数学习题集 数理逻辑与集合论分册

儿童识谱启蒙 五线谱、简谱

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

数理·逻辑·比较·常识 6岁 基础篇

本书让孩子通过数数、排序、比较、连线等方式加深对数字1～20的理解。采用图文结合的形式，以物的数量表示数字的大小，给6岁的孩子以直观的影响，使他们易于接受知识，提高学习能力、开发智力。...