Автор: Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
Название: On Sets and Graphs: Perspectives on Logic and Combinatorics
Издательство: Springer
Год: 2017
ISBN: 9783319549804
Язык: English
Формат: epub, pdf
Размер: 18,6 mb
Страниц: 275
Topics and features:
– Explores the interrelationships between sets and graphs and their applications to finite combinatorics, with a focus on proof methods and proof technology
– Introduces the fundamental graph-theoretical notions from the standpoint of both set theory and dyadic logic, and presents a short discussion on set universes
– Explains how, and under what circumstances, sets can conveniently model graphs, discussing set graphs and set-theoretic representations of claw-free graphs
– Investigates when it is convenient to represent sets by graphs, covering counting and encoding problems, the random generation of sets, and the analysis of infinite sets
– Presents excerpts of formal proofs concerning graphs, whose correctness was verified by means of an automated proof-assistant
– Contains numerous exercises, examples, definitions, problems and insight panels throughout the text
This accessible textbook/reference offers an illuminating read for graduate students of computer science and mathematics. The work is also ideal as a self-study resource for other non-specialists pursuing a deeper understanding of the subject matter.