|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Eugenio G. Omodeo , Alberto Policriti , Alexandru I. TomescuPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2017 Dimensions: Width: 15.50cm , Height: 1.80cm , Length: 23.50cm Weight: 5.679kg ISBN: 9783319549804ISBN 10: 3319549804 Pages: 275 Publication Date: 22 May 2017 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsIntroduction.- 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.ReviewsAuthor InformationDr. 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. Tab Content 6Author Website:Countries AvailableAll regions |