万千教育.数理逻辑是什么

《万千教育.数理逻辑是什么》


作者:
[英]约翰·纽瑟姆·克罗斯利(John Newsome Crossley)等
出版日期:
2018-12-01
字数:
65000
开本:
32
页数:
172
分类:
其它
ISBN:
978-7-5184-2095-7
定价:
¥32.00
官网优惠价格:
25.6


天猫旗舰店
您也可以去 当当京东 购买(点击图标进入购买页)

内容简介

本书是数理逻辑领域的代表性著作,旨在向零基础的读者普及数理逻辑知识。自1972年问世以来,本书得到众多逻辑学家的肯定,并始终是该领域的长销之作。
简明扼要是本书一大特色。秉持将“难懂”的数理逻辑以通俗易懂的方式介绍给一般读者的理念,几位作者精选数理逻辑中最典型的思想,生动地介绍了数理逻辑发展史、谓词演算……

展开全部 ]

图书目录

引论

第一章 历史概览

第二章 谓词演算的完全性

第三章 模型论

第四章 图灵机与递归函数

第五章 哥德尔不完全性定理

第六章 集合论

推荐读物
索引……

展开全部 ]

新书上架