Logic, Induction and Sets 2024 pdf epub mobi 電子書 下載
☆☆☆☆☆
簡體網頁||
繁體網頁
Logic, Induction and Sets pdf epub mobi 著者簡介
Logic, Induction and Sets pdf epub mobi 圖書描述
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises. Little previous knowledge of logic is required of the reader, and only a background of standard undergraduate mathematics is assumed.
Logic, Induction and Sets 2024 pdf epub mobi 電子書 下載
Logic, Induction and Sets pdf epub mobi 圖書目錄
1. Definitions and notations
2. Recursive datatypes
3. Partially ordered sets
4. Propositional calculus
5. Predicate calculus
6. Computable functions
7. Ordinals
8. Set theory
9. Answers to selected questions
· · · · · · (
收起)
下載链接在页面底部
點擊這裡下載
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
發表於2024-11-13
Logic, Induction and Sets 2024 pdf epub mobi 電子書 下載
Logic, Induction and Sets 2024 pdf epub mobi 電子書 下載
Logic, Induction and Sets 2024 pdf epub mobi 電子書 下載
喜欢 Logic, Induction and Sets 電子書 的读者还喜欢
Logic, Induction and Sets pdf epub mobi 讀後感
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
類似圖書 點擊查看全場最低價
出版者:Cambridge University Press
作者:Forster, Thomas
出品人:
頁數:244
譯者:
出版時間:2003-7
價格:$ 54.24
裝幀:
isbn號碼:9780521533614
叢書系列:London Mathematical Society Student Texts
圖書標籤:
數學
induction
Spy
Math
Logic, Induction and Sets 2024 pdf epub mobi 電子書 下載
Logic, Induction and Sets pdf epub mobi 用戶評價
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
Logic, Induction and Sets 2024 pdf epub mobi 電子書 下載