On Sets and Graphs Perspectives on Logic and Combinatorics /

• Κύριοι συγγραφείς: Omodeo, Eugenio G. (Συγγραφέας), Policriti, Alberto (Συγγραφέας), Tomescu, Alexandru I. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.