儿童用脑启蒙

本书遵循“教育要从娃娃抓起”的教导，倡导儿童自幼学习脑文化，纳入儿童教育的必修内容。儿童掌握脑文化，给他们带来的智力与学业收获以及给家庭、社会和国家带来的效益是不可估量的。本书从儿童脑文化应用基础...

二十一世纪儿童启蒙经典 中华童铭

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

本书按照儿童生长的顺序，以月为单位，就每个月，小孩养育应该注意的问题一一叙述。

数理逻辑与集论 新数入门概念

数理逻辑

本书为中国社会科学院研究生重点教材之一种，本书叙述了数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理；模型论内容；集合论知识；哥德尔第二不完全定理及其所...

儿童启蒙读本系列丛书 唐诗

本套丛书是针对3-6岁儿童的学前启蒙读物，包括四册，《唐诗》、《识字》、《拼音》、《数学》。《唐诗》分册选样《咏鹅》等诗作，共105首诗，为每首诗标上汉语拼音，对理解有困难的词语进行注释，并有整首诗的译文，作.....

现代数学基础丛书 数理逻辑基础 上

数理逻辑与控制论 试用本

数理逻辑

本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...

高等院校文科试用教材 数理逻辑讲义