Автор: Petr Hajek Название: Metamathematics of First-Order Arithmetic ISBN: 1107168414 ISBN-13(EAN): 9781107168411 Издательство: Cambridge Academ Рейтинг: Цена: 16743.00 р. 23918.00-30% Наличие на складе: Есть (1 шт.) Описание: This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.
Автор: Maria Luisa Dalla Chiara; Roberto Giuntini; Robert Название: Quantum Computation and Logic ISBN: 303004470X ISBN-13(EAN): 9783030044701 Издательство: Springer Рейтинг: Цена: 14635.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main “mathematical characters” of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein–Podolsky–Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like “Alice knows that everybody knows that she is pretty”, explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book.
Автор: Vasco Brattka, Hannes Diener, Dieter Spreen Название: Logic, Computation, Hierarchies ISBN: 1614517835 ISBN-13(EAN): 9781614517832 Издательство: Walter de Gruyter Цена: 23049.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.
Автор: Paulson Название: Logic and Computation ISBN: 0521395607 ISBN-13(EAN): 9780521395601 Издательство: Cambridge Academ Рейтинг: Цена: 8237.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.
Автор: J.-J. Ch. Meyer, W. van der Hoek Название: Epistemic Logic for AI and Computer Science ISBN: 0521602807 ISBN-13(EAN): 9780521602808 Издательство: Cambridge Academ Рейтинг: Цена: 9504.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included with their solutions.
Автор: Oikkonen Название: Logic Colloquium `90 ISBN: 110716902X ISBN-13(EAN): 9781107169029 Издательство: Cambridge Academ Рейтинг: Цена: 17424.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in July 1990, containing eighteen papers written by leading researchers in logic. Between them they cover all fields of mathematical logic, including model theory, proof theory, recursion theory, and set theory.
Автор: Larrazabal Название: Logic Colloquium `96 ISBN: 110716608X ISBN-13(EAN): 9781107166080 Издательство: Cambridge Academ Рейтинг: Цена: 17424.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents the proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic.
Описание: This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master`s course.
Автор: Adrian Kosowski; Igor Walukiewicz Название: Fundamentals of Computation Theory ISBN: 3319221760 ISBN-13(EAN): 9783319221762 Издательство: Springer Рейтинг: Цена: 6830.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdansk, Poland, in August 2015. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry, combinatorics, text algorithms;
Автор: Horst Reichel Название: Fundamentals of Computation Theory ISBN: 3540602496 ISBN-13(EAN): 9783540602491 Издательство: Springer Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT `95, held in Dresden, Germany. Among topics addressed are algorithms and data structures, automata and formal languages.
Автор: Lothar Budach Название: Fundamentals of Computation Theory ISBN: 3540156895 ISBN-13(EAN): 9783540156895 Издательство: Springer Рейтинг: Цена: 5731.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Gabriel Ciobanu; Gheorghe Paun Название: Fundamentals of Computation Theory ISBN: 3540664122 ISBN-13(EAN): 9783540664123 Издательство: Springer Рейтинг: Цена: 12805.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text covers topics such as abstract data types, algorithms and data structures, automata and formal languages, categorical and topological approaches, complexity, computational geometry, concurrency, cryptology, distributed computing, logics in computer science and process algebras.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
