Logic, Induction and Sets 2025 pdf epub mobi 电子书
☆☆☆☆☆
简体网页||
繁体网页
Logic, Induction and Sets 2025 pdf epub mobi 电子书 著者简介
Logic, Induction and Sets 电子书 图书目录
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收藏本页
你会得到大惊喜!!
发表于2025-01-27
Logic, Induction and Sets 2025 pdf epub mobi 电子书
Logic, Induction and Sets 2025 pdf epub mobi 电子书
Logic, Induction and Sets 2025 pdf epub mobi 电子书
喜欢 Logic, Induction and Sets 电子书 的读者还喜欢
Logic, Induction and Sets 电子书 读后感
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
类似图书 点击查看全场最低价
出版者:Cambridge University Press
作者:Forster, Thomas
出品人:
页数:244
译者:
出版时间:2003-7
价格:$ 54.24
装帧:
isbn号码:9780521533614
丛书系列:London Mathematical Society Student Texts
图书标签:
数学
induction
Spy
Math
Logic, Induction and Sets 2025 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 2025 pdf epub mobi 电子书
Logic, Induction and Sets 2025 pdf epub mobi 电子书
Logic, Induction and Sets 2025 pdf epub mobi 用户评价
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
Logic, Induction and Sets 2025 pdf epub mobi 电子书