Field Logic

product_img5
Aaron R. R. Bradley
The Calculus of Computation: Decision Procedures with Applications to Verification
Computational logic is a fast-growing field. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. Th...
$49.00
www.amazon.com
product_img5
Yoav Shoham
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
This exciting and pioneering new overview of multiagent systems, which are online systems composed of multiple interacting intelligent agents, i.e., online trading, offers a newly seen computer science perspective on multiagent systems, while integrating ideas from operations research, game theory, ...
$55.12
www.amazon.com
product_img5
Wolfgang Ertel
Introduction to Artificial Intelligence (Undergraduate Topics in Computer Science)
This accessible and engaging textbook presents a concise introduction to the exciting field of artificial intelligence (AI). The broad-ranging discussion covers the key subdisciplines within the field, describing practical algorithms and concrete applications in the areas of agents, logic, search, r...
$69.99
www.amazon.com
product_img5
Wolfgang Ertel
Introduction to Artificial Intelligence (Undergraduate Topics in Computer Science)
This accessible and engaging textbook presents a concise introduction to the exciting field of artificial intelligence (AI). The broad-ranging discussion covers the key subdisciplines within the field, describing practical algorithms and concrete applications in the areas of agents, logic, search, r...
$54.99
www.amazon.com
product_img5
Alexis G. Burgess
Truth (Princeton Foundations of Contemporary Philosophy)
This is a concise introduction to current philosophical debates about truth. Combining philosophical and technical material, the book is organized around, but not limited to, the view known as deflationism. In clear language, Burgess and Burgess cover a wide range of issues, including the nature of ...
$94.04
www.amazon.com
product_img5
Frans H. van Eemeren
Fundamentals of Argumentation Theory
Argumentation theory is a distinctly multidisciplinary field of inquiry. It draws its data, assumptions, and methods from disciplines as disparate as formal logic and discourse analysis, linguistics and forensic science, philosophy and psychology, political science and education, sociology and law, ...
$120.99
www.amazon.com
product_img5
Robert P. Hirsch
Introduction to Biostatistical Applications in Health Research with Microsoft Office Excel
A practical and methodological approach to the statistical logic of biostatistics in the field of health research Focusing on a basic understanding of the methods and analyses in health research, Introduction to Biostatistical Applications in Health Research with Microsoft® Office Excel® provide...
$74.93
www.amazon.com
product_img5
Saeideh Shirinzadeh
In-Memory Computing: Synthesis and Optimization
This book describes a comprehensive approach for synthesis and optimization of logic-in-memory computing hardware and architectures using memristive devices, which creates a firm foundation for practical applications. Readers will get familiar with a new generation of computer architectures that pot...
$91.36
www.amazon.com
product_img5
B. Altshuler
Quantum Phenomena in Mesoscopic Systems
This book is a snapshot of the vision shared by outstanding scientists on the key theoretical and experimental issues in Mesoscopic Physics. Quantum properties of electrons in solid state devices and transport in semiconducting and superconducting low-dimensional systems, are discussed, as well as t...
$123.00
www.amazon.com
product_img5
Rosanna Keefe
Vagueness: A Reader
Vagueness is currently the subject of vigorous debate in the philosophy of logic and language. Vague terms—such as 'tall', 'red', 'bald', and 'tadpole'—have borderline cases (arguably, someone may be neither tall nor not tall); and they lack well-defined extensions (there is no sharp boundary be...
$60.00
www.amazon.com
product_img5
Andrew Irvine
Philosophy of Mathematics (Handbook of the Philosophy of Science)
One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in...
$165.00
www.amazon.com
product_img5
Daniel Kroening
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order the...
$42.98
www.amazon.com
product_img5
Martin Davis
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)
"A valuable collection both for original source material as well as historical formulations of current problems." — The Review of Metaphysics "Much more than a mere collection of papers. A valuable addition to the literature." — Mathematics of Computation An anthology of fundamental papers o...
$14.59
www.amazon.com
product_img5
A. J. Cotnoir
Mereology
Is a whole something more than the sum of its parts? Are there things composed of the same parts? If you divide an object into parts, and divide those parts into smaller parts, will this process ever come to an end? Can something lose parts or gain new ones without ceasing to be the thing it is? Doe...
$30.99
www.amazon.com
product_img5
Reinhard Kahle
Gentzen's Centenary: The Quest for Consistency
“The book collects for the first time individual studies which focus solely on this aspect of Gentzen’s work. Because they admirably elucidate the historical, philosophical, and technical facets of his foundational papers in ordinal proof theory, the book can be recommended to everyone intereste...
$133.94
www.amazon.com
product_img5
William S. Veatch
Math Without Numbers: The Mathematics of Ideas - Vol. 1 Foundations
Math Without Numbers - The Mathematics of Ideas. Volume 1 - Foundations. This Volume 1 in the “Math Without Numbers” series explores the nature of Ideas, from both a practical and an abstract mathematical point of view. The book demonstrates that mathematics can explain “how” we think, but c...
$40.20
www.amazon.com
product_img5
John Etchemendy
The Concept of Logical Consequence
The intuitive concept of consequence, the notion that one sentence follows logically from another, has driven the study of logic for more than two thousand years. But logic has moved forward dramatically in the past century - largely as a result of bringing mathematics to bear on the field. The infu...
$25.00
www.amazon.com
product_img5
Baha Alzalg
Combinatorial and Algorithmic Mathematics: From Foundation to Optimization
Detailed review of optimization from first principles, supported by rigorous math and computer science explanations and various learning aids Supported by rigorous math and computer science foundations, Combinatorial and Algorithmic Mathematics: From Foundation to Optimization provides a from-scra...
$115.00
www.amazon.com
product_img5
Farhad Hosseinzadeh Lotfi
Fuzzy Decision Analysis: Multi Attribute Decision Making Approach (Studies in Computational Intelligence, 1121)
Authored by a leading expert in the field, this book introduces an innovative methodology that harnesses the power of fuzzy logic to enhance decision-making in multi-attribute scenarios. In a world of complexity and uncertainty, effective decision-making is paramount. Springer proudly presents a cut...
$109.76
www.amazon.com
product_img5
Dustin Klinger
Being Another Way: The Copula and Arabic Philosophy of Language, 900–1500 (Berkeley Series in Postclassical Islamic Scholarship) (Volume 6)
In Being Another Way , Dustin Klinger recounts the history of how medieval Arabic philosophers in the Islamic East grappled with the logical role of the copula “to be,” an ambiguity that has bedeviled Western philosophy from Parmenides to the analytic philosophers of today. Working from within ...
$34.95
www.amazon.com