On Sets and Graphs Perspectives on Logic and Combinatorics /

• Main Authors: Omodeo, Eugenio G. (Author), Policriti, Alberto (Author), Tomescu, Alexandru I. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Subjects: Computer science.; Algorithms.; Computer logic.; Combinatorics.; Graph theory.; Computer Science.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Graph Theory.

This unique treatise presents an integrated perspective on the relationship and interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. This combined viewpoint not...

Table of Contents:

• Introduction
• Part I: Basics
• Membership and Edge Relations
• Sets, Graphs, and Set Universes
• Part II: Graphs as Sets
• The Undirected Structure Underlying Sets
• Graphs as Transitive Sets
• Part III: Sets as Graphs
• Counting and Encoding Sets
• Random Generation of Sets
• Infinite Sets and Finite Combinatorics
• Appendix: Excerpts from a Referee-Checked Proof-Script.