李未编著的《数理逻辑:基本原理与形式演算(第2版)》的内容大致分为两部分。第一部分是数理逻辑基础,包括前五章,即一阶语言的语法、语义、推理系统、可计算性、不完备性等理论。第二部分由后五章组成。可称为知识进化的逻辑基础,包括一阶语言的版本序列、修正演算、过程模式、归纳推理和语言环境等。对于熟悉一阶语言希望了解知识进化的逻辑的读者,作者建议:可以跳过第一部分,或在浏览、阅读前三章之后,跳过第4和第5两章,直接阅读第二部分内容。
网站首页 软件下载 游戏下载 翻译软件 电子书下载 电影下载 电视剧下载 教程攻略
霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。