| Document Type
|
:
|
BL
|
| Record Number
|
:
|
777275
|
| Doc. No
|
:
|
b597277
|
| Main Entry
|
:
|
Gennaro Auletta.
|
| Title & Author
|
:
|
Mechanical logic in three-dimensional space\ Gennaro Auletta.
|
| Publication Statement
|
:
|
Singapore : Pan Stanford Publishing, 2014
|
| Page. NO
|
:
|
VII, 392 Seiten : überwiegend Tabellen
|
| ISBN
|
:
|
9789814411509
|
|
|
:
|
: 9789814411516
|
|
|
:
|
: 9814411507
|
|
|
:
|
: 9814411515
|
| Notes
|
:
|
Literaturverz. S. [383] - 386.
|
| Contents
|
:
|
Structural DescriptionOne-Dimensional SpaceTwo-Dimensional SpaceThree-Dimensional SpaceProduct InferencesIntroductionDerivation of Classical Inferences Through Products Extension of Classical Inferences Through ProductsDerivation of the Inferences of the First Mixed Mode Through ProductsDerivation of the Inferences of the Second Mixed Mode Through ProductsSumsIntroductionClassical Inferences Through SumsExtension of Classical Derivation Through Sums First Mixed Mode Through Sums Second Mixed Mode Through Sums SubtractionsIntroduction Classical Inferences Through Subtractions Extension of Classical Inferences Through Subtraction First Mixed Mode Through Subtractions Second Mixed Mode Through Subtractions DivisionsIntroduction Classical Derivations Through Divisions Extension of Classical Derivations Through Divisions Inferences of the First Mixed Mode Though Divisions Inferences of the Second Mixed Mode Through Divisions Assessment of All the Previous InferencesGeneral Considerations Product Inferences Sum Inferences Subtraction Inferences Division Inferences Simplified Summary of the Previous Inferences Generalized Representation and Structural RelationsSubtractionsDivisionsFinal Considerations Generalized InferencesThe Basic Forms of the Previous and New Inferences The Most General Forms of Closed Inference The Results of All the Derivations Cycles of Inferences Open Inferences With Two and More Variables Mereological Inferences and Related Ones Open Inferences and RelationsWhy Three? ApplicationsArtificial IntelligenceClassical Computing Quantum Computing: Raising and Lowering Operators ConclusionsBibliographyAuthor IndexSubject IndexColor Plate Section
|
| Subject
|
:
|
Logikkalkül.
|
| LC Classification
|
:
|
QA9.G466 2014
|
| Added Entry
|
:
|
Gennaro Auletta
|