Thomas Forster,
Thomas (University of Cambridge) Forster
Logic, Induction and Sets
Gebonden Engels 2003 9780521826211Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9780521826211
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:244
Uitgever:Cambridge University Press
Serie:London Mathematical
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
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.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan