Автор: Egerstedt, Magnus Martin, Clyde Название: Control theoretic splines ISBN: 0691132968 ISBN-13(EAN): 9780691132969 Издательство: Wiley Рейтинг: Цена: 8250 р. Наличие на складе: Поставка под заказ.
Описание: Splines, both interpolatory and smoothing, have a long and rich history that has largely been application driven. This book unifies these constructions in a comprehensive and accessible way, drawing from various methods and applications to show how they arise naturally in the theory of linear control systems.
Автор: Hinman Название: Recursion-Theoretic Hierarchies ISBN: 1107168244 ISBN-13(EAN): 9781107168244 Издательство: Cambridge Academ Рейтинг: Цена: 17804 р. Наличие на складе: Поставка под заказ.
Описание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. The theory set out in this volume, the ninth publication in the Perspectives in Logic series, is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. Both are concerned with notions of definability and with the classification of mathematical objects according to their complexity. These are the common themes which run through the topics discussed here. The author develops a general theory from which the results of both areas can be derived, making these common threads clear.
Автор: Atkinson Название: Theoretical Numerical Analysis ISBN: 1441904573 ISBN-13(EAN): 9781441904577 Издательство: Springer Рейтинг: Цена: 9816 р. Наличие на складе: Поставка под заказ.
Описание: This book prepares graduate students for research in numerical analysis/computational mathematics by giving a mathematical framework embedded in functional analysis and focused on numerical analysis. This helps them to move rapidly into a research program.
Автор: Paoli F. Название: Substructural Logics: A Primer ISBN: 1402006055 ISBN-13(EAN): 9781402006050 Издательство: Springer Рейтинг: Цена: 22521 р. Наличие на складе: Поставка под заказ.
Описание: Preface. Part I: The philosophy of substructural logics. 1. The role of structural rules in sequent calculi. Part II: The proof theory of substructural logics. 2. Basic proof systems for substructural logics. 3. Cut elimination and the decision problem. 4. Other formalisms. Part III: The algebra of substructural logics. 5. Algebraic structures. 6. Algebraic semantics. 7. Relational semantics. Appendix A: Basic glossary of algebra and graph theory. Appendix B: Other substructural logics. Bibliography. Index of subjects.
Автор: Czelakowski J. Название: Protoalgebraic Logics ISBN: 0792369408 ISBN-13(EAN): 9780792369400 Издательство: Springer Рейтинг: Цена: 20784 р. Наличие на складе: Поставка под заказ.
Описание: Introduction. On the book. Mathematical Prerequisites. Exercises. Notes for Mathematical Prerquisites. 0. Basic definitions and facts. Part I: Protoalgebraic Logics. The Leibniz Operator. 1. Protoalgebraic logics. 2. Protoalgebraicity and the Deduction Theorem. 3. Equivalential logics. Part II: Algebraizable Sentential Logics. Q. Quasivarieties of algebras. 4. Algebraizable logics. 5. Regularly algebraizable logics. 6. Fregean logics. Bibliography. Symbol Index. Index of definitions.
Описание: Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.
Описание: This book provides a broad overview of the entire field of DNA computation, tracing its history and development. It contains detailed descriptions of all major theoretical models and experimental results to date, which are lacking in existing texts, and discusses potential future developments. It also provides a useful reference source for researchers and students, and an accessible introduction for people new to the field.The field of DNA computation has flourished since the publication of Adleman's seminal article, in which he demonstrated for the first time how a computation may be performed at a molecular level by performing standard operations on a tube of DNA strands. This monograph provides a detailed survey of the field, before describing recent theoretical and experimental developments. It concludes by outlining the challenges faced by researchers in the field and suggests possible future directions.
Описание: Aims to study the computational behaviour of many-dimensional modal logics. This book is concerned with providing a mathematical foundation for this discipline, and shows that different applied many-dimensional systems fit in with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.
Автор: Otto Название: Bounded Variable Logics and Counting ISBN: 1107167949 ISBN-13(EAN): 9781107167940 Издательство: Cambridge Academ Рейтинг: Цена: 13694 р. Наличие на складе: Поставка под заказ.
Описание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
Описание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of sentential logics and present its results on a number of particular logics. The authors compare their approach, which uses abstract logics, to the classical approach based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. This monograph presents a systematized account of some of the work on the algebraic study of sentential logics carried out by the logic group in Barcelona in the 1970s.
Автор: T. Atanassov Название: Intuitionistic Fuzzy Logics ISBN: 3319489526 ISBN-13(EAN): 9783319489520 Издательство: Springer Рейтинг: Цена: 13859 р. Наличие на складе: Поставка под заказ.
The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru