Theory of Finite and Infinite Graphs, Denes K?nig; Richard McCoart; W.T. Tutte
Название: Finite Model Theory ISBN: 3540287876 ISBN-13(EAN): 9783540287872 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.
Автор: Norbert W Sauer; R.E. Woodrow; B. Sands Название: Finite and Infinite Combinatorics in Sets and Logic ISBN: 0792324226 ISBN-13(EAN): 9780792324225 Издательство: Springer Рейтинг: Цена: 56042.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Highlights the connections between problems in finite combinatorics and graph theory on the one hand and the more foundational subjects of logic and set theory on the other. This book contains articles which touch in one way or another on homogeneous structures.
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Автор: Leonid Libkin Название: Elements of Finite Model Theory ISBN: 3642059481 ISBN-13(EAN): 9783642059483 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.
Автор: H-J. Baues; A. Quintero Название: Infinite Homotopy Theory ISBN: 9401064938 ISBN-13(EAN): 9789401064934 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In handling non-compact spaces we must take into account the infinity behaviour of such spaces. Later, Freudenthal [ETR] gave a rigorous treatment of the topology of "ideal points" by introducing the space of "ends" of a non-compact space.
Автор: Davidoff Название: Elementary Number Theory, Group Theory and Ramanujan Graphs ISBN: 0521824265 ISBN-13(EAN): 9780521824262 Издательство: Cambridge Academ Рейтинг: Цена: 24077.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text is a self contained treatment of expander graphs and in particular their explicit construction. Expander graphs are both highly connected but sparse, and besides their interest within combinatorics and graph theory, they also find various applications in computer science and engineering.
Автор: Junming Xu Название: Theory and Application of Graphs ISBN: 1402075405 ISBN-13(EAN): 9781402075407 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Considers a graph as a mathematical structure on a set of elements with a binary relation, and provides the classical and important theory and application of graphs. This book covers basic concepts, trees and graphic spaces, plane graphs and planar graphs, flows and connectivity, matchings and independent sets, coloring theory, graphs and groups.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
