Advances in Proof-Theoretic Semantics, Thomas Piecha; Peter Schroeder-Heister

Автор: Hinman
Название: Recursion-Theoretic Hierarchies
ISBN: 1107168244 ISBN-13(EAN): 9781107168244
Издательство: Cambridge Academ
Рейтинг:
Цена: 23918.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived, making the common themes clear.

Название: A group theoretic approach to quantum information
ISBN: 3319452398 ISBN-13(EAN): 9783319452395
Издательство: Springer
Рейтинг:
Цена: 7965.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is the first one addressing quantum information from the viewpoint of group symmetry. Quantum systems have a group symmetrical structure. This structure enables to handle systematically quantum information processing. However, there is no other textbook focusing on group symmetry for quantum information although there exist many textbooks for group representation. After the mathematical preparation of quantum information, this book discusses quantum entanglement and its quantification by using group symmetry. Group symmetry drastically simplifies the calculation of several entanglement measures although their calculations are usually very difficult to handle. This book treats optimal information processes including quantum state estimation, quantum state cloning, estimation of group action and quantum channel etc. Usually it is very difficult to derive the optimal quantum information processes without asymptotic setting of these topics. However, group symmetry allows to derive these optimal solutions without assuming the asymptotic setting. Next, this book addresses the quantum error correcting code with the symmetric structure of Weyl-Heisenberg groups. This structure leads to understand the quantum error correcting code systematically. Finally, this book focuses on the quantum universal information protocols by using the group SU(d). This topic can be regarded as a quantum version of the Csiszar-Korner's universal coding theory with the type method. The required mathematical knowledge about group representation is summarized in the companion book, Group Representation for Quantum Theory.

Автор: Skrzypczak
Название: Descriptive Set Theoretic Methods in Automata Theory
ISBN: 3662529467 ISBN-13(EAN): 9783662529461
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides many deep insights into the interplay between these fields. It opens new perspectives on central problems in the theory of automata on infinite words and trees and offers very impressive advances in this theory from the point of view of topology.'…the thesis of Micha? Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas.” Thomas Colcombet.

Автор: Barwise
Название: Model-Theoretic Logics
ISBN: 1107168252 ISBN-13(EAN): 9781107168251
Издательство: Cambridge Academ
Рейтинг:
Цена: 30096.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this volume the authors bring together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers on advanced topics in model theory. Many chapters can be read independently.

Автор: Rolf H. M?hring
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3540538321 ISBN-13(EAN): 9783540538325
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume gives the proceedings of WG `90, organized into sections on: Graph algorithms and complexity, VLSI layout, Multiprocessor systems and concurrency, Computational geometry, Graphs, languages and databases, Graph grammars.

Автор: Manfred Nagl
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3540606181 ISBN-13(EAN): 9783540606185
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Taken from the WG Workshop series, the papers in this text reflect activities in the field of computer science-oriented graph theory, its computational aspects and its application.

Автор: E.B. Ruttkamp
Название: A Model-Theoretic Realist Interpretation of Science
ISBN: 9048160669 ISBN-13(EAN): 9789048160662
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text can be read by specialists working in philosophy of science or formal semantics, by logicians working on the structure of theories, and by students in philosophy of science - this text offers a thorough introduction to non-statement accounts of sciences as well as a discussion of the traditional statement account of science.

Автор: Thomas Piecha; Peter Schroeder-Heister
Название: Advances in Proof-Theoretic Semantics
ISBN: 3319226851 ISBN-13(EAN): 9783319226859
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.

The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in T bingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

Автор: Gustavo Deco; Dragan Obradovic
Название: An Information-Theoretic Approach to Neural Computing
ISBN: 0387946667 ISBN-13(EAN): 9780387946665
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Neural networks provide powerful technology to model and control nonlinear and complex systems. This book presents a detailed formulation of neural networks from the information-theoretic viewpoint, showing how this perspective provides insights into the design theory of neural networks.

Автор: Ernst W. Mayr
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3540564020 ISBN-13(EAN): 9783540564027
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume, based on the 18th International Workshop in Graph-Theoretic Concepts in Computer Science, is divided into parts on restricted graph classes, scheduling and related problems, parallel and distributed algorithms, combinatorial graph problems and other topics.

Автор: Rolf H. M?hring
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3540637575 ISBN-13(EAN): 9783540637578
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents 28 full papers presented at the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science. It addresses a variety of graph-theoretic issues such as graph algorithms, cycles, graph decomposition, interconnection networks, local search, and graph orderings.

Автор: Peter Widmayer; Gabriele Neyer; Stephan Eidenbenz
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3540667318 ISBN-13(EAN): 9783540667315
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 25th International Workshop on Graph-Theoretic Concepts in Computer Science (WG'99) celebrated the anniversaryof the workshop series at the Centro Stefano Franscini on Monte Verit a, Ascona, Switzerland, from June 17 to 19, 1999. It was organized byETH Z]urich, sponsored byETH, the Centro Stefano Franscini, the Swiss National Science Foundation, and Swissphone. The workshop looks back on a remarkable tradition of a quarter century, with predecessors organized at various places in Europe. WG'99 has been an insp- ing mix of questions from theoryand practice, and of 74 young scientists and established researchers from all over the world, including Bangladesh, Belgium, Canada, the Czech Republic, France, Germany, Israel, Italy, Japan, Korea, the Netherlands, Russia, the Slovak Republic, Spain, Sweden, Switzerland, the UK, and the USA. Four invited lectures re?ect the history, theory, practice and this year's s- ting. Hartmut Noltemeier as the onlyone of four founding members of the WG series who served on the program committee throughout the entire historyof WG talked about past achievements and future challenges of WG and of the ?eld. Susanne Albers lectured on the theoryof online algorithms. Thomas Lengauer presented practical packing problems from the textile and car manufacturing industries, as well as their solutions. A workshop held at the Centro Stefano Franscini traditionallyo?ers a talk that is open to the general (Italian speaking) public - Nicola Santoro delivered this Stefano Franscini talk byreporting on computer science, school, and community, as seen from the eye of the storm.