Hermann G?nther Gra?mann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar, Gert Schubring

Автор: Borger Egon, Gradel Erich, Gurevich Yuri
Название: The Classical Decision Problem
ISBN: 3540423249 ISBN-13(EAN): 9783540423249
Издательство: Springer
Рейтинг:
Цена: 117390.00 T
Наличие на складе: Есть
Описание: This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases, and includes a number of simple proofs and exercises.

Автор: Josef Lauri
Название: Topics in graph automorphisms and reconstruction
ISBN: 0521529034 ISBN-13(EAN): 9780521529037
Издательство: Cambridge Academ
Рейтинг:
Цена: 38010.00 T
Наличие на складе: Поставка под заказ.
Описание: The aim of this book is to provide in depth coverage of selected areas of graph theory, and throughout the focus is mainly on symmetry properties of graphs. Standard topics on graph automorphisms are presented early on, while in later chapters, more specialised topics are tackled, such as graphical regular representations and pseudosimilarity. The four final chapters are devoted to the reconstruction problem, and here greater emphasis is given to those results that involve the symmetry of graphs. As much as possible, the authors have tried to present results and proofs which are not often to be found in textbooks. Any student who has mastered the contents of this book will be well prepared for current research in many aspects of the theory of graph automorphisms and the reconstruction problem.