Mechanical Logic in Three-Dimensional Space - Gennaro Auletta
-40% koodiga BOOKS
Saadetis 31-37 tööpäeva jooksul
30-päevane tagastamisõigus
The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and two-premise inferences. Meriological inferences can also be easily trea ... Täielik kirjeldus
Võib-olla meeldib sulle ka
TOP
If Anyone Builds It, Everyone Dies: The Case Against Superintelligent AI
Eliezer Yudkowsky, Nate Soares
-40% koodiga BOOKS
Meie tarnija laos
TOP
Open Circuits: The Inner Beauty of Electronic Components
Eric Schlaepfer, Windell Oskay
-40% koodiga BOOKS
Meie tarnija laos
TOP
Get started with MicroPython on Raspberry Pi Pico: The Official Raspberry Pi Pico Guide
-40% koodiga BOOKS
Meie tarnija laos
TOP
Nucleo Boards Programming with the STM32CubeIDE: Hands-on in more than 50 projects
-40% koodiga BOOKS
Meie tarnija laos
TOP
Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control
Steven L. Brunton, J. Nathan Kutz
-40% koodiga BOOKS
Meie tarnija laos
TOP
Fundamentals of Aerodynamics ISE
Christopher Cadou, John D. Anderson
-40% koodiga BOOKS
Meie tarnija laos
TOP
Black Holes: The Key to Understanding the Universe
-40% koodiga BOOKS
Meie tarnija laos
TOP
KiCad Like A Pro - Fundamentals and Projects: Getting started with the world's best open-source PCB tool
-40% koodiga BOOKS
Meie tarnija laos
TOP
How To Read Water: Clues & Patterns from Puddles to the Sea
-40% koodiga BOOKS
Meie tarnija laos
TOP
Foundations of Flavor: The Noma Guide to Fermentation: Including Step-By-Step Information on Making and Cooking with: Koji, Kombuchas, Shoyus, Misos, Vinegars, Garums, Lacto-Ferments and black Fruits Vegetables
-40% koodiga BOOKS
Meie tarnija laos
TOP
Make: Electronics: Learning by Discovery: A hands-on primer for the new electronics enthusiast
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Idea Factory: Bell Labs and the Great Age of American Innovation
-40% koodiga BOOKS
Meie tarnija laos
TOP
Flowers For Algernon: A Modern Literary Classic
-40% koodiga BOOKS
Meie tarnija laos
TOP
Professional SMD Assembly: Practical Low-Cost Methods for Reliable PCB Production
-40% koodiga BOOKS
Meie tarnija laos
TOP
Blood in the Machine: The Origins of the Rebellion Against Big Tech
-40% koodiga BOOKS
Meie tarnija laos
Kirjeldus
The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and two-premise inferences. Meriological inferences can also be easily treated in this way. The book covers the following subjects: structural description of space; three-variable inferences through products, sums, subtractions, and divisions; generalization to n variables; relations; and applications.
Lisateave
| Autor | Gennaro Auletta |
|---|---|
| Kirjastaja | Taylor & Francis Ltd (Sales) |
| Väljalaskeaasta | 2013 |
| Kaanetüüp | Kõvakaaneline |
| EAN | 9789814411509 |