Mechanical Logic in three Dimensional Space

Gennaro Auletta
Dostępność: Natychmiast
423,50 zł 705,83 zł
+ -
  • Oprawa: Twarda
  • Liczba stron: 390
  • Zdjęcia: 300
  • ISBN: 9789814411509
  • Waga: 1

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.

Polecane produkty

  • Wyprzedaż

    Revolutions Of Scientific Structure

    Colin G Hales (Author)
    460,26 zł 386,61 zł
    386,61 zł
    Zobacz więcej
  • Wyprzedaż

    Enhancing Cryptographic Primitives with Techniques from Error…

    B. Preneel (Author), S. Dodunekov (Author), V. Rijmen (Author), S. Nikova (Author)
    484,81 zł 337,51 zł
    337,51 zł
    Zobacz więcej
  • Wyprzedaż

    Automated Deduction for Projection Elimination

    C. Wernhard (Author)
    61,31 zł 49,04 zł
    49,04 zł
    Zobacz więcej
  • Wyprzedaż

    From Grid to Healthgrid: Proceedings of Healthgrid 2005: v. 112…

    Alexandra Carter (Author), Tony Solomoides (Author), Tony Solomonides (Editor)
    116,55 zł 110,42 zł
    110,42 zł
    Zobacz więcej