Название: 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.
Автор: Hodges Название: Model Theory ISBN: 0521066360 ISBN-13(EAN): 9780521066365 Издательство: Cambridge Academ Рейтинг: Цена: 11563.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide range of other areas such as set theory, geometry, algebra and computer science. This book provides an integrated introduction to model theory for graduate students.
Название: 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.
Автор: Ivan Dimov; Istv?n Farag?; Lubin Vulkov Название: Finite Difference Methods,Theory and Applications ISBN: 3319202383 ISBN-13(EAN): 9783319202389 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014. The 36 revised full papers were carefully reviewed and selected from 62 submissions.
Автор: Denes K?nig; Richard McCoart; W.T. Tutte Название: Theory of Finite and Infinite Graphs ISBN: 1468489739 ISBN-13(EAN): 9781468489736 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: To most graph theorists there are two outstanding landmarks in the history of their subject. One is Euler's solution of the Konigsberg Bridges Problem, dated 1736, and the other is the appearance of Denes Konig's textbook in 1936. "From Konigsberg to Konig's book" sings the poetess, "So runs the graphic tale . . . " 10]. There were earlier books that took note of graph theory. Veb- len's Analysis Situs, published in 1931, is about general combinato- rial topology. But its first two chapters, on "Linear graphs" and "Two-Dimensional Complexes", are almost exclusively concerned with the territory still explored by graph theorists. Rouse Ball's Mathematical Recreations and Essays told, usually without proofs, of the major graph-theoretical advances ofthe nineteenth century, of the Five Colour Theorem, of Petersen's Theorem on I-factors, and of Cayley's enumerations of trees. It was Rouse Ball's book that kindled my own graph-theoretical enthusiasm. The graph-theoretical papers of Hassler Whitney, published in 1931-1933, would have made an excellent textbook in English had they been collected and published as such. But the honour of presenting Graph Theory to the mathe- matical world as a subject in its own right, with its own textbook, belongs to Denes Konig. Low was the prestige of Graph Theory in the Dirty Thirties. It is still remembered, with resentment now shading into amuse- ment, how one mathematician scorned it as "The slums of Topol- ogy".
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
