新城書站

 新城書站 logo

數理邏輯教程

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

☆☆☆☆☆
簡體網頁||繁體網頁
[英] John，Bell（J.貝爾） 著

下載链接在页面底部


點擊這裡下載
    
想要找書就要到 新城書站
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-25

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接

圖書介紹

齣版社： 世界圖書齣版公司
ISBN：9787510086304
版次：1
商品編碼：11666568
包裝：平裝
開本：16開
齣版時間：2015-03-01
用紙：膠版紙


類似圖書 點擊查看全場最低價

相關圖書


圖書描述

內容簡介

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

作者簡介

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

前言/序言



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

數理邏輯教程 mobi 下載 pdf 下載 pub 下載 txt 電子書 下載 2024

數理邏輯教程 下載 mobi pdf epub txt 電子書 格式 2024

數理邏輯教程 下載 mobi epub pdf 電子書
想要找書就要到 新城書站
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分☆☆☆☆☆

計算機科學在自動驗證和自動尋找證明等技巧方麵的成果對邏輯研究做齣瞭貢獻，比如說自動定理證明和邏輯編程。

評分☆☆☆☆☆

值得典藏

評分☆☆☆☆☆

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

評分☆☆☆☆☆

質量不錯

評分☆☆☆☆☆

柯裏－霍華德同構給齣瞭“證明”和“程序”的等價性，這一結果與證明論有關，直覺主義邏輯和綫性邏輯在此起瞭很大作用。λ演算和組閤子邏輯這樣的演算現在屬於理想程序語言。

評分☆☆☆☆☆

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

評分☆☆☆☆☆

不錯的書，我很喜歡，買瞭好好研究一下。

評分☆☆☆☆☆

推薦給學習數理邏輯的學生，數理邏輯進階必備，不過是英文版，需要有很好的英語功底

評分☆☆☆☆☆

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

類似圖書 點擊查看全場最低價

數理邏輯教程 mobi epub pdf txt 電子書 格式下載 2024

分享鏈接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接

相關圖書

服務條款
聯繫我們
關於我們
隱私政策

本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等

友情鏈接

中國國家圖書館
國立台灣圖書館
美國國會圖書館
開放圖書館 openlibrary.org

© 2024 book.cndgn.com All Rights Reserved. 新城書站 版权所有