数理逻辑

数理逻辑:第2版

查阅电子书
手机扫码
  • 微信扫一扫

    关注微信公众号

因版权原因待上架

内容简介

《数理逻辑(第2版)》主要内容:What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs?Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-o...

(展开全部)

作者简介

《数理逻辑(第2版)》主要内容:What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs?Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is' Godel's completeness theorem, which shows that the consequence relation coincides with formal provability: By means of a calculus consisting of simple formal inference rules, one can obtain all consequences of a given axiom system (and in particular, imitate all mathematical proofs)

数理逻辑是2008年由世界图书出版公司出版,作者艾宾浩斯(EbbinghausH.D.)。

得书感谢您对《数理逻辑》关注和支持,如本书内容有不良信息或侵权等情形的,请联系本网站。

购买这本书

你可能喜欢
深度学习高手笔记·卷1:基础算法 电子书
本书从算法理论、算法源码、实验结果等方面对深度学习算法进行分析和介绍。
Revit2020中文版从入门到精通 电子书
由浅入深、从易到难地讲述了Revit 2020的基本知识和工程设计中的应用。
用Go语言自制解释器 电子书
从零开始,用GO语言创造出另一门语言,体验从无到有实现类C语言的乐趣。
零基础学AfterEffectsCC2018(全视频教学版) 电子书
全视频版零基础学After Effects,全面讲解影视特效。
计算机组装与维护教程(第7版) 电子书
本书详细讲授多媒体计算机的各种部件,以及软件的安装和常见故障的维护和检修技术。