Authors:
- Presents a unified view of sets and graphs and their use for natural representation of finite structures
- Casts combinatorial issues arising at the core of different disciplines in clear computational terms
- Illustrates automatically computer-checked proof scenarios, made available on the Web
- Provides a light introduction to formal methods without assuming any prior knowledge
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (8 chapters)
-
Front Matter
-
Basics
-
Front Matter
-
-
Graphs as Sets
-
Front Matter
-
-
Sets as Graphs
-
Front Matter
-
-
Back Matter
About this book
Authors and Affiliations
-
DMG/DMI (Department of Mathematics and Geosciences, Section of Studies in Mathematics and Information Technology), University of Trieste, Trieste, Italy
Eugenio G. Omodeo
-
DMIF (Department of Mathematics Computer Science, and Physics), University of Udine, Udine, Italy
Alberto Policriti
-
Department of Computer Science Helsinki Institute for Information Technology HIIT, University of Helsinki, Helsinki, Finland
Alexandru I. Tomescu
About the authors
Dr. Eugenio G. Omodeo is a professor in the Department of Mathematics and Geosciences at the University of Trieste, Italy. His other publications include the Springer title Computational Logic and Set Theory.
Dr. Alberto Policriti is a Professor of Computer Science in the Department of Mathematics, Computer Science, and Physics at the University of Udine, Italy. Together with Dr. Eugenio G. Omodeo, he is co-author of the Springer title Set Theory for Computing.
Dr. Alexandru I. Tomescu is a postdoctoral researcher in the Department of Computer Science at the University of Helsinki, Finland.
Bibliographic Information
Book Title: On Sets and Graphs
Book Subtitle: Perspectives on Logic and Combinatorics
Authors: Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
DOI: https://doi.org/10.1007/978-3-319-54981-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Hardcover ISBN: 978-3-319-54980-4Published: 22 May 2017
Softcover ISBN: 978-3-319-85536-3Published: 09 September 2018
eBook ISBN: 978-3-319-54981-1Published: 11 May 2017
Edition Number: 1
Number of Pages: XIX, 275
Number of Illustrations: 150 b/w illustrations
Topics: Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Graph Theory, Combinatorics