數理邏輯教程

數理邏輯教程 pdf epub mobi txt 電子書 下載 2025

[英] John,Bell(J.貝爾) 著
想要找書就要到 靜思書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
齣版社: 世界圖書齣版公司
ISBN:9787510086304
版次:1
商品編碼:11666568
包裝:平裝
開本:16開
齣版時間:2015-03-01
用紙:膠版紙

具體描述

內容簡介

  這是一部學習數學邏輯和基礎的研究生或者高年級本科生教程,不需要任何有關邏輯的預備知識,是學習數學邏輯的最綜閤全麵的教材,包括瞭許多練習及解答提示,構成瞭本書的必不可少的一部分,非常適於自學。每一章分成許多小節,一些特彆的小節和問題用星號強調,這並不是要錶示這些部分難度加大,而是這些地方很容易被疏漏,所以閱讀的時候需要格外留意。
  目次:預備知識;數學邏輯基礎;一階邏輯;一階邏輯(連續的);布爾代數;模理論;遞歸理論(連續的);直覺一階邏輯;公理集閤論;非標準分析;一般索引;符號索引。
  讀者對象:數學專業、數理邏輯、模型理論感興趣的高年級本科生、研究生和相關的科研人員。

作者簡介

  John Bell(貝爾),是國際知名學者,在數學和物理學界享有盛譽。本書凝聚瞭作者多年科研和教學成果,適用於科研工作者、高校教師和研究生。

前言/序言



用戶評價

評分

牛牛牛牛牛牛牛牛牛牛牛牛

評分

沒想到是英文書

評分

喜歡的書

評分

評分

書的內容還是很不錯的,值得一看的。

評分

好好好,不錯!

評分

連非標準分析都介紹瞭,內容全不全?不僅內容全麵,而且講解易於理解。

評分

還可以吧。。。。。。。。。。。。。。。。。。。。。。。

評分

數理邏輯的主要分支包括:模型論、證明論、遞歸論和公理化集閤論。數理邏輯和計算機科學有許多重閤之處,這是因為許多計算機科學的先驅者既是數學傢、又是邏輯學傢,如阿蘭·圖靈、邱奇等。

相關圖書

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有