那些能让你更智慧更成功的答案，你不问，是不会有人告诉你的。
内容简介
本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑，其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑，后两章分别给出了一个经典命题逻辑演算系统P和一个经典谓词逻辑演算系统Q，讨论了它们的元性质，最后还给出了一个与Q等价的形式系统QS。最后一章介绍了有关一阶理论的知识，主要是模型论的基础内容及不可判定问题。各章节后一般都附有适量的习题。本书适合作为高等院校文科、理工科所开设的与现代逻辑相关课程的教材或参考书。
作者简介
陈慕泽：中国人民大学哲学系、宗教学系教授，博士生导师，逻辑教研室主任。教育部逻辑学基地、中山大学逻辑与认知研究所兼职研究员，中国逻辑学会常务理事。主要讲授《逻辑学》、《数理逻辑》、《数理逻辑史》、《模态逻辑》、《专业外语》等本科和研究生课程。主要著作有《数理逻辑教程》、《现代逻辑方法论》、《逻辑学》等。
数理逻辑基础是2003年由人民大学出版,作者陈慕泽。
温馨提示：
得书感谢您对《数理逻辑基础》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
电子书
电子书
编程教育的目的不是掌握语言，而是锻炼编程思维，让孩子更爱思考的编程书。
电子书
本书为3~4岁的幼儿提供了优秀的思维训练内容，帮助幼儿对世界进行探索。
电子书
本书为4~5岁的幼儿提供了优秀的思维训练内容，帮助幼儿对数和量的关系形成认知。
电子书
1．内容前沿，版本知名
本书严格依据2018年3月《政府会计制度》编写而成。自2019年1月1日起，全新的《政府会计制度》将要在全国的行政事业单位内全面实施。新《政府会计制度》的变化很大，首先，将原来的9种会计制度全面合并成为《政府会计制度》；其次，一项业务，两笔分录，一本账簿，两套报表；结尾，将财务会计与预算会计融为一体。本书严格依据《政府会计制度》编写，帮助大家深度学习《政府会计制度》的规范与要求，帮助大家能够正确依据《政府会计制度》办理好本单位的会计核算工作。
2．清晰逻辑导图，学习更加便捷。
本书中充分发挥了逻辑导图的优势与优点。会计分录是会计工作中的一个核心问题，而用逻辑导图的方法来表现会计分录的前因后果及数字关系，具有天然的优势。本书充分发挥逻辑导图的优势，对各种会计规定进行了清晰条理的阐述，使得本书阅读体验感好于同类图书，这也成为本书的一个亮点和优点。
3．精选实务案例，提高分析能力。
由于先天的限制，《政府会计制度》具有“原则、笼统、条文化”等不足，将《政府会计制度》的要求应用于日常会计工作很是不易。本书非常重视案例的收录与讲解，把《政府会计制度》的要求具体化到日常的经济业务处理之中，是把准则与实务连接在一起的桥梁与纽带。
4．实务操作演练，快速提升是实操能力。
本书针对专业读者，旨在帮助读者解决实务工作中的具体问题。在很多情况下，只是被动的了解《政府会计制度》的规定，是很难理解其实质要求的，也很难做到灵活的应用。本书以实务操作为核心，处处进行深度分析，案例中不仅阐述怎么办，更是强调说明为什么这么做，帮助大家读透制度，准确应用制度。
