Добавить в избранное
Форум
Правила сайта "Мир Книг"
Группа в Вконтакте
Подписка на книги
Правообладателям
Найти книгу:
Навигация
Вход на сайт
Регистрация



Реклама




Автор: 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.








НЕ РАБОТАЕТ TURBOBIT.NET? ЕСТЬ РЕШЕНИЕ, ЖМИ СЮДА!





Автор: daromir 2-09-2018, 12:18 | Напечатать |
 
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.





С этой публикацией часто скачивают:

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


 MirKnig.Su  ©2021     При использовании материалов библиотеки обязательна обратная активная ссылка    Политика конфиденциальности