导引

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

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

经典数论的现代导引.pdf

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

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

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

统计力学导引.pdf

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

实用物态方程理论导引.pdf

本书简要地叙述了物态方程理论.主要内容有:电离平衡方程;Thomas-Fermi统计理论(包括各种修正);获得固体和液体物态方程的方法,着重论述了半经验理论;以及计算物态方程数据的具体步骤.书中还具体介绍了流体力学程序计算中使用的物态方程形式以及爆轰产物的物态方程.书末的附录中给

ADA导引 : 程序设计语言ADA参考手册 (美国国家标准/军用标准).pdf

程序设计语言Ada是在美国国防部推动和领导下研制的大型算法语言,将被用于取代与美国军方有关的领域现正使用的一切其它高级程序设计语言. 本书既包括对Ada特点的扼要介绍(导引部分),又包括对Ada的详细定义(文本部分).对Ada细节不感兴趣的读者可以从导引部分获得对