导引

公理集合论导引.pdf

与通常的公理集合论著作不同,本书在引入形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念,为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统,对直观集合论中的概念和公理进行了形式化处理,并在此基础上建立了若干逻辑

GAP入门导引.pdf

本书着重辅导初学GAP的用户入门。全书共分7章,分别介绍GAP的安装和启动、数据类型、函数、编程、实例,以及在Nauty中 的一些应用等。

自动机理论、语言和计算导引.pdf

本书是讨论自动机理论、语言理论和计算理论(主要是计算复杂性理论)的专著. 全书共十四章.第一章为预备知识;第二、三章讨论有穷自动机和正规集合;第四、五、六章讨论上下文无关语言和下推自动机;第七章讨论图灵机;第八章讨论不可判定性;第九章按Chomsky谱系对语言和自

经典数论的现代导引.pdf

经典数论的主要内容既包括整数理论、同余理论、一次到n次剩余方程、丢番图方程、佩尔方程、连分数、原根与指数,也包括费尔马-欧拉定理、威尔逊-高斯定理、秦九韶定理(中国剩余定理)、勒让德符号与二次互反律、表整数为平方和、荷斯泰荷姆定理等. 此外,它还伴随着遐迩闻名的完美数问题、同余数

计算机和难解性 : NP完全性理论导引.pdf

本书系统地介绍了NP完全性理论的概念和方法.全书共分七章和两个附录.第一章粗略地介绍计算复杂性的一些基本概念和NP完全性理论的意义.第二章至第五章介绍NP完全性的基本理论和证明方法.第六章集中研究NP难问题的近似算法.第七章概述了大量计算复杂性中有关的理论课题.附录A收集了范围广

统计力学导引.pdf

本书着重讲解统计力学的基本原理。第1章介绍必要的概率统计理论的基础知识。第2章“平衡统计力学的基本原理”是本书的中心,强调了吉布斯的平衡态统计力学公理表述,也特别强调了分布支集问题以及与之密切相关的各态历经破缺问题。传统统计物理教科书,通常会在讨论统计力学之前简述热力学。本书在介