全部分类

　　本书是一部难度适中的本科生数学教材.主要讲述了什么是数学证明,这些证明怎么能够被验证以及电脑在多大程度上能够执行这些数学证明.本书从一阶逻辑以及它在数学基础中的作用的讲述开始,深入阐述了 Trachtenbrot的不可判定性理论,基础等值理论的Fraisse特性,以及逻辑程序设计的基础这些经典的知识点. 　　读者对象:本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生、研究生以及相

　　作为一位终生思考如何以好的方式表达数理逻辑问题的学者，作者在该书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表，使得该书非常适合作为数理逻辑入门教材。 　　除了学者的身份，作者还是一位趣味谜题专家，致力予面向普通读者写作，

《简明数理逻辑》首先简要介绍了数理逻辑的发展、形式系统及一些预备知识，然后介绍了集合论，详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理，*后介绍了模型论的基础知识和方法。《简明数理逻辑》重点突出，论证详细，各部分内容配有典型的例子和习题，以便读者更好地理解、掌握相关知识。

　　《数理逻辑导引》是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。《数理逻辑导引》主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典理论的完全性和可定义性分析；哥德尔不完全性定理、丘奇

本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了数理逻辑的基本知识。全书共10章:第一章是预备知识，主要介绍书中所需要的集合论的初步知识:第二至第六章是一阶逻辑的基本内容，重点介绍哥德尔的完全性定理;第七章是递归论的基本知识，也是为后面内容所做的准备;第八章介绍一阶算术的一些片段;第九和第十章是哥德尔的两个不完全性定理。本书主要面向对数学基础感兴趣的读者。与其他数理逻辑教材相比

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。

本书是一本讲述SQL与数据库设计的立体教程（含纸质图书、教学课件、源代码、视频教程与答疑服务）。全书共分为4篇：第1篇为SQL知识基础（第1章～第9章），介绍了SQL表管理、视图管理、修改数据、查询数据、汇总查询结果、子查询和表连接；第2篇为MySQL数据库管理系统（第10章～第13章），介绍了MySQL数据库管理系统安装和日常管理、MySQL中特有的SQL语句和MySQL数据库开发；第3篇为Or

这是一部对分布式数据库的核心原理、架构设计以及经典分布式数据库的实现进行深入剖析的著作，融入了作者在腾讯、Oracle等企业20余年的数据库实践经验，以及数据库领域前沿的研究成果，得到了中国人民大学杜小勇教授等多位业界知名专家的高口碑和鼎力推荐。 本书以前沿技术和工程实践为抓手，沿着问题确认、原理阐述、架构剖析、实例分析的思路，从3个方面对分布式数据进行了讲解。 分布式数据库原理。首先提出了分布式

本书是由行业专家精心编写的SQL学习指南，内容涵盖数据库基础介绍、数据库表的管理、数据的增删改查、视图、索引、存储过程，以及基于不同业务场景的SQL查询实践。本书由浅入深地对SQL查询进行讲解，在实践方面，结合真实的业务场景，以互联网电商、投资理财、网络游戏、线下零售等为例，通过行业常用的查询案例帮助读者快速理解并掌握SQL查询技能。 本书适合日常工作中需要使用数据库并对数据库表进行操作的业务和技

MySQL是比较受欢迎的开源关系型数据库之一。本书通过大量实用的操作案例，详细讲解MySQL 8.x数据库操作方法和技巧。本书配套资源提供了所有例子的源代码、PPT课件、培训班形式的同步教学视频、命令速查手册、QQ群与微信群答疑，以方便读者参考和自学。 本书共分25章。主要内容包括MySQL 8.x的安装与配置、数据库和数据表基本操作、数据类型和运算符、MySQL函数、数据的增删改查、索引的设计和

这是一本由Doris社区官方出品的Doris权威指南。本书基于Doris 2.1版本撰写，由Apache Doris PMC Chair和SelectDB高级解决方案架构师联合撰写。书中不仅深入剖析了Doris的核心原理，还基于实际用户的需求对实战进行全方位指导。可以说，本书是一本融合了Doris社区数百位开发者和数千名使用者的智慧和使用经验的经典之作。 本书共11章。 第1~3章：面向Doris

本书是基于作者多年的教学与实践撰写的，重点介绍PostgreSQL的核心原理与体系架构，涉及开发、运维、管理与架构等内容。 本书共12章，涉及以下几方面内容：PostgreSQL基础，安装与配置PostgreSQL，管理数据库与数据库实例，管理数据库对象，并行查询，事务与并发控制，应用程序开发，管理数据库安全，备份与恢复，监控、诊断与优化数据库，PostgreSQL的高可用架构，以及从Oracle