数理逻辑是什么在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

☆☆☆☆☆
简体网页||繁体网页

[英] 约翰·N．克罗斯利作者

中国轻工业出版社

万千教育

夏素敏译者

2018-11-20 出版日期

172 页数

32.00元价格

平装

丛书系列

9787518420957 图书编码

数理逻辑是什么在线电子书图书标签: 数理逻辑逻辑学数学逻辑计算机计算机科学 0.数学英国

喜欢数理逻辑是什么在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-22

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

数理逻辑是什么在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

数理逻辑是什么在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

数理逻辑是什么在线电子书用户评价

评分☆☆☆☆☆

数理逻辑领域长销40余年的经典普及之作。

评分☆☆☆☆☆

图灵机和哥德尔不完备定理讲的很简洁，通透模型论完全懵逼了

评分☆☆☆☆☆

介绍到数理逻辑各领域的普及好书。重要的定理都给出了证明，但如果不是很强的数学基础只能领略一下书中强大的思路，大致理解过程。书最后作者也说彻底搞懂本书涵盖的主题需要读不少复杂的书，并给了书单。

评分☆☆☆☆☆

该讲的点都讲到了，讲的马马虎虎，翻译负分

评分☆☆☆☆☆

数理逻辑是什么在线电子书著者简介

约翰·N．克罗斯利（John N. Crossley）英国数学家、逻辑学家。1963年于牛津大学获得哲学博士学位与数学硕士学位。毕业后成为牛津大学头一位数理逻辑教师，牛津大学万灵学院研究员。自1968年起，长期任教于澳大利亚莫纳什大学，并于2010年成为该校荣休教授。

主要研究领域为逻辑、数学和计算机科学。著有《构成性序型》（Constructive Order Types，1969）、《数理逻辑是什么》（What Is Mathematical Logic?，1972，合著）、《组合函子》（Combinatorial Functors，1974，合著）、《数的出现》（The Emergence of Number，1987）、《九章算术：导读与注释》（The Nine Chapters on the Mathematical Art: Companion & Commentary，2000，合著）、《程序就是证明：柯里—霍华德对应》（Adapting Proofs-as-Programs: The Curry-Howard Protocol，2005，合著）、《成长的数字观》（Growing Ideas of Number，2007）等。

数理逻辑是什么在线电子书图书目录

数理逻辑是什么在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

数理逻辑是什么在线电子书图书描述

本书是数理逻辑领域的代表性著作，旨在向零基础的读者普及数理逻辑知识。自1972年问世以来，本书得到众多逻辑学家的肯定，并始终是该领域的长销之作。

简明扼要是本书一大特色。秉持将“难懂”的数理逻辑以通俗易懂的方式介绍给一般读者的理念，几位作者精选数理逻辑中最典型的思想，生动地介绍了数理逻辑发展史、谓词演算的完全性、模型论、图灵机与递归函数、哥德尔不完全性定理、集合论等。相对独立的章节是本书另一大特色。全书各章之间不存在紧密的层级关系，读者可根据理解的程度，暂时跳过某些章节，待需要时再返回重新阅读。这种写作方式有助于读者在短时间内掌握数理逻辑的主要内容，奠定进一步学习逻辑、数学、计算机科学等知识的基础。

数理逻辑是什么在线电子书下载 mobi epub pdf txt 在线电子书下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!