Mechanical Logic in Three-Dimensional Space

Mechanical Logic in Three-Dimensional Space

Gennaro Auletta
Bu kitabı ne kadar beğendiniz?
İndirilen dosyanın kalitesi nedir?
Kalitesini değerlendirmek için kitabı indirin
İndirilen dosyaların kalitesi nedir?

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.

Kategoriler:
Yıl:
2013
Yayımcı:
Pan Stanford Publishing
Dil:
english
Sayfalar:
393
ISBN 10:
9814411507
ISBN 13:
9789814411509
Dosya:
PDF, 6.22 MB
IPFS:
CID , CID Blake2b
english, 2013
Online Oku
'e dönüştürme devam ediyor
dosyasına dönüştürme başarısız oldu

Anahtar ifadeler