Autorenfreundlich Bücher kaufen?!
Beschreibung
This book discusses set theory as the foundation and language of all mathematics and how axiomatic set theory benefits from advances in logic. Chapters are written to be accessible and formative for majors in mathematics, computer science, and philosophy. The author presents the important tools and topics including relations and functions, the concept of order, induction and inductive definitions, Cantor’s diagonalisation as well as ordinals and cardinals. The axioms of (ZFC) set theory are introduced with natural axiomatizations and informal justifications, which is relatively distinctive. Interesting topics such as computing the support of sets by a recursively defined function and the von Neumann Hierarchy are included.
An Introduction
Details
| Verlag | Springer International Publishing |
| Ersterscheinung | 17. Mai 2026 |
| Maße | 24 cm x 16.8 cm |
| Format | Hardcover |
| ISBN-13 | 9783032100399 |
| Seiten | 265 |
Schlagwörter
Discrete Mathematics in Computer Science, Diskrete Mathematik, Mathematical Applications in Computer Science, Mathematical Logic and Foundations, Mathematics, Mathematik, Mathematik für Informatiker, Mathematik: Logik, Mathematische Grundlagen, Mengenlehre, Proof Theory and Constructive Mathematics, Set Theory, Theoretische Informatik
Herstellerinformationen
Bekannt durch
