On Sets and Graphs

On Sets and Graphs

Perspectives on Logic and Combinatorics

Tomescu, Alexandru I.; Omodeo, Eugenio G.; Policriti, Alberto

Springer International Publishing AG

05/2017

275

Dura

Inglês

9783319549804

15 a 20 dias

5679

Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Algorithmic Specification;Combinatorial Enumeration;Graph Theory;Proof Verification;Set Theory;algorithm analysis and problem complexity;combinatorics