计算复杂性: 现代方法 - 阿罗拉 巴拉克
(美)桑杰夫. 阿罗拉(Sanjeev Arora), (美)博阿兹. 巴拉克(Boaz Barak)著 ; 骆吉洲译; 阿罗拉; 巴拉克; 骆吉洲书签制作方法请找 [email protected]
完全免费
《计算复杂性的现代方法》是一部将所有有关复杂度知识理论集于一体的教程。将最新进展和经典结果结合起来,是一部很难得的研究生入门级教程。既是相关科研人员的一部很好的参考书,也是自学人员很难得的一本很好自学教程。本书一开始引入该领域的最基本知识,然后逐步深入,介绍更多深层次的结果,每章末都附有练习。对复杂度感兴趣的人士,物理学家,数学家以及科研人员这本书都是相当受益。
书名
版权
前言
目录
第0章 记号约定
0.1 对象的字符串表示
O.2 判定问题/语言
0.3 大O记号
习题
第一部分 基本复杂性类
第1章 计算模型——为什么模型选择无关紧要
1.1 计算的建模:你真正需要了解的内容
1.2 图灵机
1.2.1 图灵机的表达能力
1.3 效率和运行时间
1.3.1 定义的健壮性
1.4 机器的位串表示和通用图灵机
1.4.1 通用图灵机
1.5 不可计算性简介
1.5.1 停机问题
1.5.2 哥德尔定理
1.6 类P
1.6.1 为什么模型选择无关紧要
1.6.2 P的哲学意义
1.6.3 P的争议和解决争议的一些努力
1.6.4 埃德蒙兹的引言
1.7 定理1.9 的证明:O(TlogT)时间的通用模拟
本章学习内容
本章注记和历史
习题
第2章 NP和NP完全性
2.1 类NP
2.1.1 P和NP的关系
2.1.2 非确定型图灵机
2.2 归约和NP完全性
2.3 库克-勒维定理:计算的局部性
2.3.1 布尔公式、合取范式和SAT问题
2.3.2 库克-勒维定理
2.3.3 准备工作:布尔公式的表达能力
2.3.4 引理2.1 1的证明
2.3.5 将SAT归约到3SAT
2.3.6 深入理解库克-勒维定理
2.4 归约网络
2.5 判定与搜索
2.6 coNP、EXP和NEXP
2.6.1 coNP
2.6.2 EXP和NEXP
2.7 深入理解P、NP及其他复杂性类
2.7.1 NP的哲学意义
2.7.2 NP与数学证明
2.7.3 如果P=NP会怎样
2.7.4 如果NP=coNP会怎样
2.7.5 NP和NP完全之间存在其他复杂性类吗
2.7.6 NP难的处理
2.7.7 更精细的时间复杂性
本章学习内容
本章注记和历史
习题
第3章 对角线方法
3.1 时间分层定理
3.2 非确定型时间分层定理
3.3 拉德纳尔定理:NP非完全问题的存在性
3.4 神喻机器和对角线方法的局限性
3.4.1 逻辑独立与相对
本章学习内容
本章注记和历史
习题
第4章 空间复杂性
4.1 空间受限计算的定义
4.1.1 格局图
4.1.2 一些空间复杂性类
4.1.3 空间分层定理
4.2 PSPACE完全性
4.2.1 塞维奇定理
4.2.2 PSPACE的本质:最佳博弈策略
4.3 NL完全性
4.3.1 基于证明的NL定义:仅能读一次的证明
4.3.2 NL=coNL
本章学习内容
本章注记和历史
习题
第5章 多项式分层和交错
5.1 类∑p2
5.2 多项式分层
5.2.1 多项式分层的性质
5.2.2 PH各层的完全问题
5.3 交错图灵机
5.3.1 无限次交错
5.4 时间与交错:SAT的时空平衡
5.5 用神喻图灵机定义多项式分层
本章学习内容
本章注记和历史
习题
第6章 布尔线路
6.1 布尔线路和P/poly
6.1.1 P/poly和P之间的关系
6.1.2 线路的可满足性和库克-勒维定理的另一种证明
6.2 一致线路
6.2.1 对数空间一致线路族
6.3 纳言图灵机
6.4 P/poly和NP
6.5 线路下界
6.6 非一致分层定理
6.7 线路复杂性类的精细分层
6.7.1 类NC和类AC
6.7.2 P完全性
6.8 指数规模的线路
本章学习内容
本章注记和历史
习题
第7章 随机计算
7.1 概率型图灵机
7.2 概率型图灵机示例
7.2.1 寻找中位数
7.2.2 概率型素性测试
7.2.3 多项式恒等测试
7.2.4 二分图的完美匹配测试
7.3 单面错误和“零面”错误:RP、coRP、ZPP
7.4 定义的健壮性
7.4.1 准确度常数的作用:错率归约
7.4.2 期望运行时间与最坏运行时间
7.4.3 使用比均匀硬币投掷更具一般性的随机选择
7.5 BPP同其他复杂性类之间的关系
7.5.1 BPP?P/poly
7.5.2 BPP?PH
7.5.3 分层定理与完全问题
7.6 随机归约
7.7 空间受限的随机计算
本章学习内容
本章注记和历史
习题
第8章 交互式证明
8.1 交互式证明及其变形
8.1.1 准备工作:验证者和证明者均为确定型的交互式证明
8.1.2 类IP:概率型验证者
8.1.3 图不同构的交互式证明
8.2 公用随机源和类AM
8.2.1 私有随机源的模拟
8.2.2 集合下界协议
8.2.3 定理8.1 2的证明概要
8.2.4 GI能是NP-完全的吗
8.3 IP=PSPACE
8.3.1 算术化
8.3.2 #SATD的交互式协议
8.3.3 TQBF的协议:定理8.19的证明
8.4 证明者的能力
8.5 多证明者交互式证明
8.6 程序检验
8.6.1 具有验证程序的语言
8.6.2 随机自归约与积和式
8.7 积和式的交互式证明
8.7.1 协议
本章学习内容
本章注记和历史
习题
第9章 密码学
9.1 完全保密及其局限性
9.2 计算安全、单向函数和伪随机数产生器
9.2.1 单向函数:定义和实例
9.2.2 用单向函数实现加密
9.2.3 伪随机数产生器
9.3 用单向置换构造伪随机数产生器
9.3.1 不可预测性蕴含伪随机性
9.3.2 引理9.10的证明:戈德赖希-勒维定理
9.4 零知识
9.5 应用
9.5.1 伪随机函数及其应用
9.5.2 去随机化
9.5.3 电话投币和比特承诺
9.5.4 安全的多方计算
9.5.5 机器学习的下界
本章学习内容
本章注记和历史
习题
第10章 量子计算
10.1 量子怪相:双缝实验
10.2 量子叠加和量子位
10.2.1 EPR悖论
10.3 量子计算的定义和BQP
10.3.1 线性代数预备知识
10.3.2 量子寄存器及其状态向量
10.3.3 量子操作
10.3.4 量子操作实例
10.3.5 量子计算与BQP
10.3.6 量子线路
10.3.7 传统计算是量子计算的特例
10.3.8 通用操作
10.4 格罗弗搜索算法
10.5 西蒙算法
10.5.1 定理10.14的证明
10.6 肖尔算法:用量子计算机实现整数分解
10.6.1 ZM上的傅里叶变换
10.6.2 ZM上的量子傅里叶变换
10.6.3 肖尔的阶发现算法
10.6.4 因数分解归约为阶发现
10.6.5 实数的有理数近似
10.7 BQP和经典复杂性类
10.7.1 量子计算中类似于NP和AM的复杂性类
本章学习内容
本章注记和历史
习题
第11章 PCP定理和近似难度简介
11.1 动机:近似求解NP难的优化问题
11.2 用两种观点理解PCP定理
11.2.1 PCP定理与局部可验证明
11.2.2 PCP定理与近似难度
11.3 两种观点的等价性
11.3.1 定理11.5与定理11.9的等价性
11.3.2 重新审视PCP的两种理解
11.4 顶点覆盖问题和独立集问题的近似难度
11.5 NP?PCP(poly(n),1):由沃尔什-哈达玛编码得到的PCP
11.5.1 线性测试与沃尔什-哈达玛编码
11.5.2 定理11.19的证明
本章学习内容
本章注记和历史
习题
第二部分 具体计算模型的下界
第12章 判定树
12.1 判定树和判定树复杂性
12.2 证明复杂性
12.3 随机判定树
12.4 证明判定树下界的一些技术
12.4.1 随机复杂性的下界
12.4.2 敏感性
12.4.3 次数方法
本章学习内容
本章注记和历史
习题
第13章 通信复杂性
13.1 双方通信复杂性的定义
13.2 下界方法
13.2.1 诈集方法
13.2.2 铺砌方法
13.2.3 秩方法
13.2.4 差异方法
13.2.5 证明差异上界的一种技术
13.2.6 各种下界方法的比较
13.3 多方通信复杂性
13.4 其他通信复杂性模型概述
本章学习内容
本章注记和历史
习题
第14章 线路下界:复杂性理论的滑铁卢
14.1 AC0和哈斯塔德开关引理
14.1.1 哈斯塔德开关引理
14.1.2 开关引理的证明
14.2 带“计数器”的线路:ACC
14.3 单调线路的下界
14.3.1 定理14.7的证明
14.4 线路复杂性的前沿
14.4.1 用对角线方法证明线路下界
14.4.2 ACC Vs P的研究现状
14.4.3 具有对数深度的线性线路
14.4.4 线路图
14.5 通信复杂性方法
14.5.1 与ACC0线路之间的联系
14.5.2 与线性规模对数深度的线路之间的联系
14.5.3 与线路图之间的联系
14.5.4 卡奇梅尔-维格德尔森通信游戏与深度下界
本章学习内容
本章注记和历史
习题
第15章 证明复杂性
15.1 几个例子
15.2 命题演算与归结
15.2.1 用瓶颈法证明下界
15.2.2 插值定理和归结的指数下界
15.3 其他证明系统概述
15.4 元数学的思考
本章学习内容
本章注记和历史
习题
第16章 代数计算模型
16.1 代数直线程序和代数线路
16.1.1 代数直线程序
16.1.2 例子
16.1.3 代数线路
16.1.4 代数线路中类似于P、NP的复杂性类
16.2 代数计算树
16.2.1 下界的拓扑方法
16.3 布卢姆-舒布-斯梅尔模型
16.3.1 复数上的复杂性类
16.3.2 完全问题和希尔伯特零点定理
16.3.3 判定性问题——曼德勃罗集
本章学习内容
本章注记和历史
习题
第三部分 高级专题
第17章 计数复杂性
17.1 计数问题举例
17.1.1 计数问题与概率估计
17.1.2 计数可能难于判定
17.2 复杂性类#P
17.2.1 复杂性类PP:类似于#P的判定问题
17.3 #P完全性
17.3.1 积和式和瓦利安特定理
17.3.2 #P问题的近似解
17.4 户田定理:PH?P#SAT
17.4.1 过渡:具有唯一解的布尔满足性问题
17.4.2 ?的性质和对NP、coNP证明引理17.17
17.4.3 引理17.1 7的证明:一般情形
17.4.4 第二步:转换为确定型归约
17.5 待决问题
本章学习内容
本章注记和历史
习题
第18章 平均复杂性:勒维定理
18.1 分布问题与distP
18.2 “实际分布”的形式化定义
18.3 distNP及其完全问题
18.3.1 distNP的一个完全问题
18.3.2 P-可抽样的分布
18.4 哲学意义和实践意义
本章学习内容
本章注记和历史
习题
第19章 难度放大和纠错码
19.1 从温和难度到强难度:姚期智XOR引理
19.1.1 用因帕利亚佐难度核引理证明姚期智XOR引理
19.1.2 因帕利亚佐难度核引理的证明
19.2 工具:纠错码
19.2.1 显式纠错码
19.2.2 沃尔什-哈达玛纠错码
19.2.3 里德-所罗门纠错码
19.2.4 里德-穆勒纠错码
19.2.5 拼接纠错码
19.3 高效解码
19.3.1 里德-所罗门解码
19.3.2 拼接解码
19.4 局部解码与难度放大
19.4.1 沃尔什-哈达玛纠错码的局部解码算法
19.4.2 里德-穆勒纠错码的局部解码算法
19.4.3 拼接纠错码的局部解码算法
19.4.4 局部解码算法综合运用于难度放大
19.5 列表解码
19.5.1 里德-所罗门纠错码的列表解码
19.6 局部列表解码:接近BPP=P
19.6.1 沃尔什-哈达玛纠错码的局部列表解码
19.6.2 里德-穆勒纠错码的局部列表解码
19.6.3 拼接纠错码的局部列表解码
19.6.4 局部列表解码算法综合运用于难度放大
本章学习内容
本章注记和历史
习题
第20章 去随机化
20.1 伪随机数产生器和去随机化
20.1.1 用伪随机数产生器实现去随机化
20.1.2 难度与去随机化
20.2 定理20.6 的证明:尼散-维格德尔森构造
20.2.1 两个示意性例子
20.2.2 尼散-维格德尔森构造
20.3 一致假设下的去随机化
20.4 去随机化需要线路下界
本章学习内容
本章注记和历史
习题
第21章 伪随机构造:扩张图和提取器
21.1 随机游走和特征值
21.1.1 分布向量和参数λ(G)
21.1.2 无向连通性问题的随机算法的分析
21.2 扩张图
21.2.1 代数定义
21.2.2 组合扩张和扩张图的存在性
21.2.3 代数扩张图蕴含组合扩张图
21.2.4 组合扩张图蕴含代数扩张图
21.2.5 用扩张图设计纠错码
21.3 扩张图的显式构造
21.3.1 旋转映射
21.3.2 矩阵乘积和路径乘积
21.3.3 张量积
21.3.4 替换乘积
21.3.5 显式构造
21.4 无向连通性问题的确定型对数空间算法
21.4.1 连通性问题的对数空间算法(定理21.21的证明)
21.5 弱随机源和提取器
21.5.1 最小熵
21.5.2 统计距离
21.5.3 随机性提取器的定义
21.5.4 提取器的存在性证明
21.5.5 基于哈希函数构造提取器
21.5.6 基于扩张图的随机游走构造提取器
21.5.7 由伪随机数产生器构造提取器
21.6 空间受限计算的伪随机数产生器
本章学习内容
本章注记和历史
习题
第22章 PCP定理的证明和傅里叶变换技术
22.1 非二进制字母表上的约束满足问题
22.2 PCP定理的证明
22.2.1 PCP定理的证明思路
22.2.2 迪纳尔鸿沟放大:引理22.5 的证明
22.2.3 扩张图、随机游走和INDSET的近似难度
22.2.4 迪纳尔鸿沟放大
22.2.5 字母表削减:引理22.6 的证明
22.3 2CSPw的难度:鸿沟和字母表大小之间的平衡
22.3.1 莱斯的证明思想:并行重复
22.4 哈斯塔德3位PCP定理和MAX-3SAT的难度
22.4.1 MAX-3SAT的近似难度
22.5 工具:傅里叶变换
22.5.1 GF(2)n上的傅里叶变换
22.5.2 从较高层面看傅里叶变换和PCP之间的联系
22.5.3 GF(2)上线性测试的分析
22.6 坐标函数、长编码及其测试
22.7 定理22.1 6的证明
22.8 SET-COVER的近似难度
22.9 其他PCP定理概述
22.9.1 具有亚常数可靠性参数的PCP定理
22.9.2 平摊的查验复杂度
22.9.3 2位测试和高效傅里叶分析
22.9.4 唯一性游戏和阈值结果
22.9.5 与等周问题和度量空间嵌入之间的联系
22.A 将qCSP实例转换成“精细”实例
本章学习内容
本章注记和历史
习题
第23章 为什么线路下界如此困难
23.1 自然证明的定义
23.2 为什么自然证明是自然的
23.2.1 为什么要求可构造性
23.2.2 为什么要求广泛性
23.2.3 用复杂性测度看自然证明
23.3 定理23.1的证明
23.4 一个“不自然的”下界
23.5 哲学观点
本章注记和历史
习题
附录A数学基础
部分习题的提示
参考文献
术语索引
复杂性类索引
🐢 Descargas lentas
Las descargas gratuitas ilimitadas son accesibles a través de nuestra lista de espera, un sistema diseñado para dar a todos un acceso justo.
- PDF: Descargar Leer
🚀 Descargas rápidas
🚀 Descargas rápidas Conviértete en miembro para apoyar la preservación a largo plazo de libros, artículos y más. Para mostrar nuestra gratitud por tu apoyo obtienes descargas rápidas. ❤️
- PDF: Descargar Leer
-
Necesitará un lector de ebooks o PDF para abrir el archivo, dependiendo del formato del archivo.
Lectores de ebooks recomendados: ReadEra y Calibre -
Utilice herramientas en línea para convertir entre formatos.
Herramientas de conversión recomendadas: CloudConvert -
Puede enviar archivos PDF y EPUB a su Kindle o Kobo eReader.
Herramientas recomendadas: “Enviar a Kindle” de Amazon y “Enviar a Kobo/Kindle” de djazz
Fanged noumena : collected writings, 1987-2007
Nick Land; Robin Mackay, (Philosopher); Ray Brassier
Fanged Noumena assembles for the first time the writings of Nick Land, variously described as ‘rabid nihilism’, ‘mad black Deleuzianism’, ‘accelerationism’, and ‘cybergothic’.Wielding weaponized, machinically-recombined versions of Deleuze and Guattari, Reich and Freud, in the company of fellow ‘werewolves’ such as Nietzsche, Bataille, Artaud, Trakl and Cioran, to a cutup soundtrack of Bladerunner, Terminator and Apocalypse Now, Land plotted a rigorously schizophrenic escape route out of academic philosophy, and declared all-out war on the Human Security System. Despite his ‘disappearance’, Land’s output has been a crucial underground influence both on recent Speculative Realist thought, and on artists, writers, musicians and filmmakers invigorated by his uncompromising and abrasive philosophical vision. Long the subject of rumor and vague legend, Land’s turbulent post-genre theory-fictions of cybercapitalist meltdown smear cyberpunk, philosophy, arithmetic, poetics, cryptography, anthropology, grammatology and the occult into unrecognizable and gripping hybrids. Beginning with Land’s radical rereadings of Heidegger, Nietzsche and Kant, Fanged Noumena terminates in Professor Barker’s cosmic theory of geo-trauma and neo-qabbalistic attempts to formulate a numerical anti-language. Fanged Noumena is a dizzying trip through land’s rigorous, incisive and provocative work, establishing it as an indispensable resource for radically inhuman thought in the twenty-first century....
涌现:从混沌到有序
lgrsnf/[世纪人文·开放人文] 涌现：从混沌到有序-[美]约翰·霍兰-陈禹 等(译)-方美琪(校)-上海科学技术出版社-2006.pdf
信息检索 : 实现和评价搜索引擎 : implementing and evaluating search engines
Stefan Büttcher; Charles L.a.clarke; Gordon V. Cormack
“这本书是越来越多的信息检索文献里的一本好书” ——Donald H. Kraft,计算机评论 “学术巨匠齐聚一堂编撰了一部信息检索的优秀教材。Stefan Bu ̈ttcher、Charles Clarke和Gordon Cormack以合计超过五十年的研究经验,组成了横跨三代的信息检索研究泰斗组合......这本书是所有信息检索研究者和从业人员的必读教材!” ——来自由Amit Singhal撰写的序言 信息检索奠定了现代搜索引擎的基石。本书介绍了现代搜索技术的核心主题,包括了算法、数据结构、索引、检索和评价。重点在于实现和实验;每一章都有练习和对学生项目的建议。Wumpus——本书其中一位作者开发的一个多用户开源信息检索系统,可以在网上下载——提供了模型实现,可作为学生练习的一个基础。本书采用的模块化结构使教师可以将此书用于不同水平的研究生课程中,包括从数据库系统角度教授的课程、专注于理论的传统信息检索课程和关于Web检索基础的课程。 对信息检索的基础进行介绍之后,本书分别在相应的部分介绍了3个重要主题——索引、检索和评价。本书的最后一部分借用并扩展了前面部分的基本内容,考虑了以下具体应用:并行搜索引擎、Web搜索和XML检索。每章末尾的参考文献给出了延伸阅读;练习包括纸笔练习题和重大编程项目。除了用于课堂教学,本书对计算机科学、计算机工程和软件工程的专业人员来说也具有很好的参考价值。
自动机理论、语言和计算导论 第三版
!1......Page 2 !2......Page 3 !3......Page 4 !4......Page 5 !5......Page 6 !6......Page 7 !7......Page 8 !8......Page 9 !9......Page 10 !10......Page 11 !11......Page 12 !12......Page 13 000001......Page 14 000002......Page 15 000003......Page 16 000004......Page 17 000005......Page 18 000006......Page 19 000007......Page 20 000008......Page 21 000009......Page 22 000010......Page 23 000011......Page 24 000012......Page 25 000013......Page 26 000014......Page 27 000015......Page 28 000016......Page 29 000017......Page 30 000018......Page 31 000019......Page 32 000020......Page 33 000021......Page 34 000022......Page 35 000023......Page 36 000024......Page 37 000025......Page 38 000026......Page 39 000027......Page 40 000028......Page 41 000029......Page 42 000030......Page 43 000031......Page 44 000032......Page 45 000033......Page 46 000034......Page 47 000035......Page 48 000036......Page 49 000037......Page 50 000038......Page 51 000039......Page 52 000040......Page 53 000041......Page 54 000042......Page 55 000043......Page 56 000044......Page 57 000045......Page 58 000046......Page 59 000047......Page 60 000048......Page 61 000049......Page 62 000050......Page 63 000051......Page 64 000052......Page 65 000053......Page 66 000054......Page 67 000055......Page 68 000056......Page 69 000057......Page 70 000058......Page 71 000059......Page 72 000060......Page 73 000061......Page 74 000062......Page 75 000063......Page 76 000064......Page 77 000065......Page...
失控:全人类的最终命运和结局
内容简介 · · · · · · 《失控》,全名为《失控:机器、社会与经济的新生物学》(Out of Control: The New Biology of Machines, Social Systems, and the Economic World)。 2006年,《长尾》作者克里斯·安德森在亚马逊网站上这样评价该书: “这可能是90年代最重要的一本书”,并且是“少有的一年比一年卖得好的书”。“尽管书中的一些例子在十几年后可能有些过时,但(它们所表达的)信息却越来越成为真知灼见”。“在那时人们还无法想象博客和维基等大众智慧的突起,但凯利却分毫不差地预见到了。这可能是过去十年来最聪明的一本书。” 这是一部思考人类社会(或更一般意义上的复杂系统)进化的“大部头”著作,对于那些不惧于“头脑体操”的读者来说,必然会开卷有益。 《失控》成书于1994年,作者是《连线》杂志的创始主编凯文·凯利。这本书所记述的,是他对当时科技、社会和经济最前沿的一次漫游,以及借此所窥得的未来图景。 书中提到并且今天正在兴起或大热的概念包括:大众智慧、云计算、物联网、虚拟现实、敏捷开发、协作、双赢、共生、共同进化、网络社区、网络经济,等等。说它是一本“预言式”的书并不为过。其中必定还隐藏着我们尚未印证或窥破的对未来的“预言”。
数据结构与算法分析 : Java语言描述 = Data structures and algorithm analysis in Java Shu ju jie gou yu suan fa fen xi : Java yu yan miao shu = Data structures and algorithm analysis in Java
本书是国外数据结构与算法分析方面的经典教材,使用卓越的Java编程语言作为实现工具讨论了数据结构(组织大量数据的方法)和算法分析(对算法运行时间的估计)。 随着计算机速度的不断增加和功能的日益强大,人们对有效编程和算法分析的要求也不断增长。本书把算法分析与最有效率的Java程序的开发有机地结合起来,深入分析每种算法,内容全面、缜密严格,并细致讲解精心构造程序的方法。
墓碑: 上篇
My Bookmarks 總目錄 前言:永久的墓碑 第一章 禍起中原 一、信陽事件 1.政治高壓下的胡言亂語 2.根據胡言亂語確定徴購指標 3.血腥的反瞞產私分邇動 4.恐怖的飢餓和死亡 5.成千上萬的人被活活打死 6.各級黨委都極力掩蓋死人真相 7.死人事件暴露後邋極力捂盖子 8.中央對信陽事件的調查和對策 9.基層幹部承擔了餓死人的責任 二、「潘、暢、王」事件 1.潘、楊、王對一些問題的不同看法 2.潘復生在八大二次會議上被免職 3.「潘、楊、王」的「八大罪狀」 4.聲勢浩大的揭批運動 三、河南省成了「大躍進」的旗幟 1.水利建設不講科學,勞民傷財 2.大放「衛星」,農民遭殃 第二章 甘肅不甘 第三章 天府飢魂 第四章 安徽不安 第五章 糧倉裏的餓號 第六章 富饒的餞饉 第七章 嶺南風雲 第八章 齊魯之難 第九章 浙江之折 第十章 大饑荒中的雲南 第十一章 燕趙悲歌 第十二章 黑色的貴州 第十三章 各省饑荒縱覽 第十四章 大饑荒期間的城市生活
人性的，太人性的：一本献给自由精神的书 （上卷）
尼采(Friedrich Wilhelm Nietzsche)
本书内容主要包括:初始之事和终结之事、道德感的历史、宗教生活、出自艺术家和作家的心灵、高级文化和低级文化的征兆等。
人性的，太人性的：一本献给自由精神的书 （下卷）
尼采(Friedrich Wilhelm Nietzsche)
本书内容主要包括:初始之事和终结之事、道德感的历史、宗教生活、出自艺术家和作家的心灵、高级文化和低级文化的征兆等。
光学(第五版)
[美]尤金‧赫克特; Eugene Hecht; 秦克诚(译); 林福成(译)
本书国际经典光学教材,上世纪70年代末即在国内翻译出版,全球被译为6种语言的版本,被国外多所院校指定或推荐作为学生的主要参考书。书中基本覆盖了我国光学课程的主要教学内容,课程体系也和我国光学教学相接近。该书语言生动,讲解清楚,图片丰富,还介绍一些光学领域的\*新成果和研究课题。本书适合国内的教学实际,具有很强的教学适用性。
计算机组成与嵌入式系统(原书第6版)
(加) Carl Hamacher; Zvonko Vranesic; Naraig Manjikian
书签已装载, 书签制作方法请找 [email protected] 完全免费 本书是一本经典的计算机组成教材,自1978年问世以来,已被多所世界知名大学选为教材。本书知识结构合理,知识点全面完整,基本概念广泛而新颖。书中不仅介绍了硬件设计的原理,说明了硬件设计如何受软件需求影响,而且以流行的商用处理器作为范例,描述了各种基本知识和基本概念的应用方法和应用过程,具有很强的实用性。此外,本书还涵盖了当今许多先进的技术和设计思想。 本书特色 系统地介绍了现代计算机硬件系统的各个组成部分,包括处理器、输入/输出、存储器和互连标准等。 以Nios II、ARM、ColdFire和Intel IA-32等商用处理器为例来阐释基本概念,侧重于讨论RISC设计风格的处理器(如MIPS),同时也介绍了CISC设计风格的处理器(如应用比较广泛的商用处理器Intel IA-32)。
计算机组成与体系结构:性能设计(原书第8版)
(美)william Stallings著 ; 彭蔓蔓, 吴强, 任小西等译; 斯托林斯; 彭蔓蔓; 吴强; 任小西
书签已装载, 书签制作方法请找 [email protected] 完全免费 本书是介绍当代计算机体系主流技术和最新技术的优秀教材,以Intel x86和ARM两个处理器系列为例,深入讨论了计算机组成与体系结构的基本原理和概念,并将它们运用到当代计算机系统设计的问题中。 自第7版出版以来,计算机组成与体系结构领域又有了不少革新和进展。第8版坚持全面覆盖整个领域,并在此基础上尽量跟上新技术的步伐。 新增内容 交互式模拟工具:提供了20个基于Web的交互式模拟工具,为理解现代处理器的复杂机制提供了有力的支持。 嵌入式处理器:以ARM体系结构为例,介绍嵌入式处理器以及它们提供的独特的设计问题。 多核处理器:阐述计算机体系结构最流行的新进展——单个芯片上多处理器的使用。 高速缓存:对高速缓存内容进行了全面的修订、更新和扩充,涵盖了更宽泛的技术领域。 性能评估:扩充了对性能评估的讨论,增加了对基准程序和阿姆达尔定律的分析。 汇编语言:增加了一个关于汇编语言和汇编器的新附录。
计算复杂性 = Computational complexity
书签已装载, 书签制作方法请找 [email protected] 完全免费 计算机复杂理论的研究是计算机科学最重要的研究领域之一,而Chistos.H.Papadimitriou是该领域最著名的专家之一。本书是一本全面阐述计算机复杂性理论及其近年来进展的教科书,主要包含算法图灵机、可计算性等有关计算复杂理论的基本概念;布尔逻辑、一阶逻辑、逻辑中的不可判定性等复杂性理论的基础知识;P与NP、NP完全等各复杂性类的概念及其之间的关系等复杂性理论的核心内容;随机算法、近似算法、并行算法及其复杂性理论;以及NP之外如多项式空间等复杂性类的介绍。
计算理论导引: 原书第3版
书签已装载, 书签制作方法请找 [email protected] 完全免费 《计算理论导引(原书第3版)》由计算理论领域的知名权威 Michael Sipser 所撰写。他以独特的视角,系统地介绍了计算理论的三个主要内容:自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理,而没有拘泥于某些低层次的细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材,也可作为教师和研究人员的参考书。
差异与重复 (Différence et répétition)
《差异与重复》既是德勒兹最重要的著作之一,也是当代哲学的一部经典之作。在这部对柏拉图以来的西方形而上学传统进行了彻底批判的奠基之作中,德勒兹创造了大量概念,尝试将自己的观点体系化。他试图提出一种有别于同一性哲学、主体性哲学的自然哲学,其核心是纯粹差异和深邃重复这两个概念。同时,德勒兹在本作中倚重的思想资源也非常庞杂,既对柏拉图、斯宾诺莎、莱布尼茨、尼采、柏格森、克尔凯郭尔等哲学家的思想进行了深入分析,也讨论了数学、物理学、生物学、精神分析、语言学、人类学、艺术等多个领域。理论上的巨大野心和思想上的驳杂,使得这部作品即使是在本就以晦涩著称的德勒兹著作谱系中也显得尤为困难和特异。
The Dark Enlightenment
The Dark Enlightenment or the neo-reactionary movement, sometimes abbreviated NRx, is an anti-democratic, anti-egalitarian, reactionary philosophy founded by Curtis Yarvin, an American software engineer and blogger under the pen name "Mencius Moldbug," and developed further by English philosopher Nick Land. The ideology generally rejects Whig historiography—the concept that history shows an inevitable progression towards greater liberty and enlightenment, culminating in liberal democracy and constitutional monarchy—in favor of a return to traditional societal constructs and forms of government, including absolute monarchism and other archaic forms of leadership such as cameralism. Nick Land (born 17 January 1962) is an English philosopher, short-story horror writer and blogger. He is known by some as "the father of accelerationism". His writings are "theory-fictions", a genre created by the philosopher Jean Baudrillard. A cofounder of the 1990s collective Cybernetic Culture Research Unit (CCRU), his work has been tied to the development of accelerationism and speculative realism. Land is also known, along with fellow neo-reactionary thinker Curtis Yarvin, for developing in his latter works the anti-egalitarian and anti-democratic ideas behind neo-reaction and the Dark Enlightenment. His later work has become increasingly focused on advocating for scientific racism and eugenics, or what he calls...