这些介绍性注释概述了现代复杂性理论,定义了基本复杂性类别并提供了每个复杂性类别的一些示例。
2021-09-27 00:43:31 711KB 计算机科学
1
这是关于可计算性的电子书,高清,最新版本,经典著作,英文版
2021-09-27 00:09:54 7.4MB Comput
1
从程序员的角度讲解范畴论,读起来清晰易懂,程序员理解范畴论的绝佳好书。带目录可复制文字清晰版。
2021-09-26 23:59:55 15.78MB Catego 范畴论 计算机理论
1
An Introduction to Proof Theory
2021-09-26 23:57:58 631KB Proof Theory
1
函子,范畴,Abelian范畴,嵌入定理
2021-09-26 23:55:18 10.57MB category module
1
这是关于图论的电子书,高清,最新版本,经典著作,英文版
2021-09-26 20:00:49 19.54MB Graph
1
Elements of Information Theory, 第二版,英文原版
2021-09-26 19:11:27 10.09MB 信息论 英文原版
1
一本介绍非线性规划方面的书籍,针对非线性规划问题,提出相应的理论和求解算法,很不错的一本优化方面的书籍。
2021-09-26 13:20:36 34.63MB 优化 非线性优化
1
ANSYS 理论参考:包括结构、几何非线性结构、材料非线性结构等
2021-09-26 09:51:54 8.48MB ANSYS
1
博弈论,给非专业人士入门的,Stanford几个教授写的,短小精悍,看看不错。
2021-09-25 18:01:04 1.65MB Game Theory
1