On Sets and Graphs : Perspectives on Logic and Combinatorics /

On Sets and Graphs : Perspectives on Logic and Combinatorics /

Detalles Bibliográficos
Autores principales: Omodeo, Eugenio G. (Autor), Policriti, Alberto. (Autor), Tomescu, Alexandru I. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Materias:
Computer logic.
Algorithms.
Graph theory.
Combinatorics.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Graph Theory.
Tabla de Contenidos:
  • 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.

Ejemplares similares