6,076円 This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of possible worlds and infinite remainders as objects of choice is critically examined. Descriptors are introduced as a versatile tool for ex...

2,998円 Das Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik. Es bildet die Vorstufe für das Verständnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da das logische...

6,076円 This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK. The 9 revised papers presented together with two invited talks, one invited paper and tw...

19,235円 With rapid progress in Internet and digital imaging technology, there are more and more ways to easily create, publish, and distribute images. Considered the first book to focus on the relationship between digital imaging and privacy protection, Visual Cryptography and Secret Image Sharing is a c...

19,235円 For many civilian, security, and military applications, distributed and networked coordination offers a more promising alternative to centralized command and control in terms of scalability, flexibility, and robustness. It also introduces its own challenges. Distributed Networks: Intelligence, Se...

43,944円 This totally revised and expanded reference/text provides comprehensive, single-source coverage of the design, problem solving, and specifications of electromagnetic compatibility (EMC) into electrical equipment/systems-including new information on basic theories, applications, evaluations, predi...

17,576円 Computer arithmetic has become so fundamentally embedded into digital design that many engineers are unaware of the many research advances in the area. As a result, they are losing out on emerging opportunities to optimize its use in targeted applications and technologies. In many cases, easily a...

675円 Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic dea...

1,779円 Emotions are powerful. In newspaper headlines and on social media, they have become the primary way of understanding the world. But strong feelings make it more difficult to see the reality behind the rhetoric. In The Art of Logic, Eugenia Cheng shows how mathematical logic can help us see things...

15,800円 This monograph details several different methods for constructing simple relation algebras, many of which are new with this book. By drawing these seemingly different methods together, all are shown to be aspects of one general approach, for which several applications are given. These tools for c...

13,369円 This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this fiel...

12,154円 This volume collects nine essays that investigate the work of Gottlob Frege. The contributors address Frege’s work in relation to literature and fiction (Dichtung), the humanities (Geisteswissenschaften), and science (Wissenschaft). Overall, the essays consider internal connections between differ...