Logic, Induction and Sets pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

出版者:Cambridge University Press

作者:Forster, Thomas

出品人:

页数:244

译者:

出版时间:2003-7

价格:$ 54.24

装帧:

isbn号码:9780521533614

丛书系列:London Mathematical Society Student Texts

图书标签:

数学
induction
Spy
Math
Logic
Induction
Sets
Mathematics
Reasoning
Proof
SetTheory
Discrete
Math

下载链接在页面底部

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

想要找书就要到小美书屋

book.quotespace.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

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.

作者简介

目录信息

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
· · · · · · (收起)