计算机基础
数理逻辑:证明及其限度(第二版)
本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了数理逻辑的基本知识。全书共10章:第一章是预备知识,主要介绍书中所需要的集合论的初步知识:第二至第六章是一阶逻辑的基本内容,重点介绍哥德尔的完全性定理;第七章是递归论的基本知识,也是为后面内容所做的准备;第八章介绍一阶算术的一些片段;第九和第十章是哥德尔的两个不完全性定理。本书主要面向对数学基础感兴趣的读者。与其他数理逻辑教材相比
面向计算机科学的数理逻辑:系统建模与推理 原书第2版
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。
分布式数据库原理、架构与实践
这是一部对分布式数据库的核心原理、架构设计以及经典分布式数据库的实现进行深入剖析的著作,融入了作者在腾讯、Oracle等企业20余年的数据库实践经验,以及数据库领域前沿的研究成果,得到了中国人民大学杜小勇教授等多位业界知名专家的高口碑和鼎力推荐。 本书以前沿技术和工程实践为抓手,沿着问题确认、原理阐述、架构剖析、实例分析的思路,从3个方面对分布式数据进行了讲解。 分布式数据库原理。首先提出了分布式
MySQL 8.x从入门到精通
MySQL是比较受欢迎的开源关系型数据库之一。本书通过大量实用的操作案例,详细讲解MySQL 8.x数据库操作方法和技巧。本书配套资源提供了所有例子的源代码、PPT课件、培训班形式的同步教学视频、命令速查手册、QQ群与微信群答疑,以方便读者参考和自学。 本书共分25章。主要内容包括MySQL 8.x的安装与配置、数据库和数据表基本操作、数据类型和运算符、MySQL函数、数据的增删改查、索引的设计和
深入理解Doris:原理与应用 数据库 数据仓库 数仓 数据湖 大数据
这是一本由Doris社区官方出品的Doris权威指南。本书基于Doris 2.1版本撰写,由Apache Doris PMC Chair和SelectDB高级解决方案架构师联合撰写。书中不仅深入剖析了Doris的核心原理,还基于实际用户的需求对实战进行全方位指导。可以说,本书是一本融合了Doris社区数百位开发者和数千名使用者的智慧和使用经验的经典之作。 本书共11章。 第1~3章:面向Doris
PostgreSQL数据库实战派
本书是基于作者多年的教学与实践撰写的,重点介绍PostgreSQL的核心原理与体系架构,涉及开发、运维、管理与架构等内容。 本书共12章,涉及以下几方面内容:PostgreSQL基础,安装与配置PostgreSQL,管理数据库与数据库实例,管理数据库对象,并行查询,事务与并发控制,应用程序开发,管理数据库安全,备份与恢复,监控、诊断与优化数据库,PostgreSQL的高可用架构,以及从Oracle
斯坦福数据挖掘教程 第3版
本书由斯坦福大学“Web挖掘”课程的内容总结而成,主要关注极大规模数据的挖掘。书中包括分布式文件系统、相似性搜索、搜索引擎技术、频繁项集挖掘、聚类算法、广告管理及推荐系统、社会网络图挖掘和大规模机器学习等主要内容。第3 版新增了决策树、神经网络和深度学习等内容。几乎每节都有对应的习题,以此来巩固所讲解的内容。读者还可以从网上获取相关拓展资料。
零基础学SQL(升级版)
《零基础学SQL(升级版)》从实用角度出发,由浅入深地讲解了 SQL 的基本概念、常用语法和操作技术。全书共 24 章,内容涉及 SQL 语言概述、简单查询、计算列查询、条件查询、范围查询、数据过滤、数据格式化、模糊查询、数据排序、统计分析、分组统计等知识点,还讲解子查询、多表连接、数据的增删改查、视图、存储过程、游标、事务处理、数据库管理及数据表管理等高级技术。全书包含 200 多个 SQL 语
数据库管理:大数据与小数据的存储、管理及分析实战
本书全面讲解数据库设计、建模、系统构建、数据存储以及数据仓库、数据治理等方面的基础知识,并提出了一种数据库管理的新方法。本书的三位作者均为该领域专家,在大数据、数据分析、数据质量和数据集成方面经验丰富。全书理论结合实践,既有对现有数据库技术的讲解,又有对*新技术趋势的分析。为了帮助读者更好地理解基本概念,书中包含大量真实案例,涉及查询实例、代码以及图形等,并搭建了在线学习环境,这使本书成为信息系统