748円 The Logic Of Names : An Introduction To Boole's Laws Of Thought.. - By I. P. Hughlings

16,914円 The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twenti...

6,633円 Interest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts. This volume offers new essays on the theories about the logical modalities (necessity and possibility) held by leading philosophers from ...

5,357円 This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers proposi...

8,143円 Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbers. This unique approach offers both a firm background in the standard material of number theory, as well as an overview of the entire discipline. ...

8,622円 As an intermediate model between conventional PKC and ID-PKC, CL-PKC can avoid the heavy overhead of certificate management in traditional PKC as well as the key escrow problem in ID-PKC altogether. Since the introduction of CL-PKC, many concrete constructions, security models, and applications h...

950円 Разум человека способен не только дарить чудеса инженерной мысли, но и находить новые способы решения различных проблем повседневной жизни и бизнеса. В этой книге описывается философия инженерного мышления, которая стоит за проектированием решений, основанных на системности, ограничениях и компро...

2,044円 Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Prädikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten un...

2,102円 Sharpen your mind to beat the smartest brains in Britain with the original official GCHQ puzzle book Would GCHQ recruit you? Pit your wits against the people who cracked Enigma in the official puzzle book from Britain's top secret intelligence and security organisation Over the years, their codeb...

13,369円 This book argues for a view in which processes of dialogue and interaction are taken to be foundational to reasoning, logic, and meaning. This is both a continuation, and a substantial modification, of an inferentialist approach to logic. As such, the book not only provides a critical introductio...

15,800円 The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axioma...

12,154円 In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the aut...