4,643円 This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the disti...

18,231円 The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped in...

7,752円 The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.

5,176円 smarTEST Prep: Guide to LSAT Logic Games presents a standardized and methodical approach to conquering the Logic Games section of the LSAT. This book helps readers to understand the fundamentals of logic games and how to properly diagram their solutions. Featuring innovative strategies to increas...

10,352円 The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "...

8,888円 The Final Volume of the Groundbreaking Trilogy on Agent-Based Modeling In this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero. This software individual, or "agent," is endowed with distinct emotional/affective, cognitive/deliberative, and social modules. Grou...

4,245円 Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied...

12,154円 In this book I argue that a reason for the limited success of various studies under the general heading of cybernetics is failure to appreciate the importance of con- nuity, in a simple metrical sense of the term. It is with particular, but certainly not exclusive, reference to the Arti cial Inte...

12,154円 This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal fo...

12,154円 Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philos...

3,310円 An inviting collection of fun, hands-on applications in mathematics and computing This book provides a fun, hands-on approach to learning how mathematics and computing relate to the world around us and help us to better understand it. How can reposting on Twitter kill a movie's opening weekend? H...

11,275円 This landmark dissertation (1961) provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the 'new theory of reference' and non-linguistic necessity and essentialism to 'Kri...