Information Retrieval: Uncertainty and Logics, Cornelis Joost van Rijsbergen; Fabio Crestani; Mou
Автор: Thornton, Patricia H.; Ocasio, William; Lounsbury, Название: The Institutional Logics Perspective ISBN: 0199601941 ISBN-13(EAN): 9780199601943 Издательство: Oxford Academ Рейтинг: Цена: 50150.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The book analyzes, synthesizes, and further develops theoretical and methodological tools in the rising new school in institutional analysis, the institutional logics perspective, which offers opportunities to examine how individual and organizational actors are a product of multiple social locations in an inter-institutional system.
Название: Logics in Computer Science ISBN: 9491216945 ISBN-13(EAN): 9789491216947 Издательство: Springer Рейтинг: Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
Автор: Johan van Benthem; Gerhard Heinzmann; Manuel Rebus Название: The Age of Alternative Logics ISBN: 9048124859 ISBN-13(EAN): 9789048124855 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from scholars on the trends and possible developments for research.
Автор: Andreas Kapsner Название: Logics and Falsifications ISBN: 3319052055 ISBN-13(EAN): 9783319052052 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics.
Автор: Walter Carnielli; Marcelo Coniglio; Dov M. Gabbay; Название: Analysis and Synthesis of Logics ISBN: 9048177251 ISBN-13(EAN): 9789048177257 Издательство: Springer Рейтинг: Цена: 181670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete.
The book brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). It also provides examples of potential applications in emergent fields like security protocols, quantum computing, networks and argumentation theory, besides discussing more classical applications like software specification, knowledge representation, computational linguistics and modular automated reasoning.
This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (for instance, temporal, epistemic and probabilistic logics).
Автор: Cornelis Joost van Rijsbergen; Fabio Crestani; Mou Название: Information Retrieval: Uncertainty and Logics ISBN: 0792383028 ISBN-13(EAN): 9780792383024 Издательство: Springer Рейтинг: Цена: 231990.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Contains a collection of papers proposing, developing and implementing logical Information Retrieval models. This book is useful as a text for a graduate-level course on Information Retrieval or Database Systems, and as a reference for researchers and practitioners in industry.
Автор: P. K. McBride Название: Career Award Information and Communication Technology: Foundation Level ISBN: 0521532930 ISBN-13(EAN): 9780521532938 Издательство: Cambridge Academ Рейтинг: Цена: 13470.00 T Наличие на складе: Поставка под заказ. Описание: Career Award in Information and Communication Technology: Foundation Level accompanies the Cambridge International Examinations (CIE) syllabus for the Career Award in Information and Communication Technology at Foundation Level. It closely matches the content of the syllabus, and has been endorsed by CIE for use with its examination.
The author,an information technology specialist, writes in a lively, accessible style and uses a step-by-step approach to introduce students to the basic concepts and skills required.
Автор: David Pearce; Heinrich Wansing Название: Nonclassical Logics and Information Processing ISBN: 3540557458 ISBN-13(EAN): 9783540557456 Издательство: Springer Рейтинг: Цена: 32600.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume contains the proceedings of a workshop held at the Free University of Berlin in November 1990, which discussed various subfields of logic and its applications in artificial intelligence. Papers examine modal systems, logic programming, nonmonotonic logics and proof theory.
Автор: Jan Chomicki; Gunter Saake Название: Logics for Databases and Information Systems ISBN: 1461375827 ISBN-13(EAN): 9781461375821 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Jan Chomicki; Gunter Saake Название: Logics for Databases and Information Systems ISBN: 0792381297 ISBN-13(EAN): 9780792381297 Издательство: Springer Рейтинг: Цена: 222670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Addresses various applications of logical frameworks to the problems of database integrity and dynamics, handling time and change, concurrency, incomplete information, data modeling, and property inheritance. This book is intended as a reference for researchers and practitioners in industry.
Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar Название: Theorem Proving in Higher Order Logics ISBN: 3540710655 ISBN-13(EAN): 9783540710653 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
Автор: Jean-Pierre Jouannaud Название: Constraints in Computational Logics ISBN: 354058403X ISBN-13(EAN): 9783540584032 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume constitutes the proceedings of the 1st International Conference on Constraints in Computational Logics, held in Munich in September 1994. Topics discussed include symbolic, set and numerical constraints, combined calculi, multi-paradigm programming and working systems.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
