Kód: 06705312
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 o ... celý popis
Angličtina
3688 Kč
Dostupnost:
50 % šance
Máme informaci, že by titul mohl být dostupný. Na základě vaší objednávky se ho pokusíme do 6 týdnů zajistit.
Zadejte do formuláře e-mailovou adresu a jakmile knihu naskladníme, zašleme vám o tom zprávu. Pohlídáme vše za vás.
Nákupem získáte 369 bodů
Anotace knihy
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.
Parametry knihy
Zařazení knihy Knihy v angličtině Technology, engineering, agriculture Electronics & communications engineering Electronics engineering
3688 Kč
Angličtina
Osobní odběr Praha, Brno a 47484 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)Nákupní košík ( prázdný )