Logic, Induction and Sets

ISBN-13: 9780521826211 / Angielski / Twarda / 2003 / 244 str.

Thomas Forster

Opis

Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.

Recenzje

'The author's philosophical training leads him to accompany many definitions with lengthy reflexions which add interest and enliven the book.' Mathematika

Spis treści

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.