仙阶
✍ Scribed by 石度
- Publisher
- 笔趣阁
- Tongue
- Chinese
- Edition
- 共225章
- Category
- Fiction
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
本书的内容属数理逻辑的基础部分。前三章的主题是一阶逻辑:第 一、二章分别讲述一阶语言的语法、语义;第三章介绍一个一阶推理系统,并证明了它的语义完全性。一阶逻辑是各种哲理逻辑(或称应用逻辑)的基础,它在算机科学、人工智能等领域也有着广泛的应用。这三章完整地介绍了一阶逻辑的中心内容。本书第四章包含了关于一阶逻辑的一些其它论题,以及模型论的一些基础内容。作者以“一阶理论”这一概念为中心组织这些材料,它们与前三章一起,可作为继续学习数理逻辑中的“四论”的基础。
<p>《微积分进阶》是作者多年在复旦大学讲授“数学分析原理”课程的讲义基础上编写而成。《微积分进阶》共7章,内容包括:分析基础、实数系基本定理,极限与连续,微分,积分,级数,多元函数微积分,反常积分和含参变量积分。教材注重思想性,在内容上尽量做到融会贯通,突出理论的严密性,同时每章都精选了例题与习题。</p> <p>《微积分进阶》可以与通常的高等数学教材结合成为数学类专业的数学分析教材,也可以作为数学分析的复习用书。</p>
<p>《Swift进阶》涵盖了关于Swift程序设计的进阶话题。如果你已经通读Apple 的《Swift编程指南》,并且想要深入探索关于这门语言的更多内容,那么这《Swift进阶》正适合你!</p> <p>Swift非常适合用来进行系统编程,同时它也能被用于书写高层级的代码。我们在书中既会研究像泛型、协议这样的高层级抽象的内容,也会涉足像封装C 代码以及字符串内部实现这样的低层级话题。《Swift进阶》将帮助你进一步完善知识体系,带领你从Swift的入门或中级水平迈入Swift高级开发者的大门。</p>