On Sets and Graphs

On Sets and Graphs

Perspectives on Logic and Combinatorics

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

Springer International Publishing AG

09/2018

275

Mole

Inglês

9783319855363

15 a 20 dias

456

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