ABOUT CALCULATION OF STATEMENTS

ABOUT CALCULATION OF STATEMENTS

Authors

  • Б.Н. Дроботун
  • Г.С. Джарасова
  • Н.Б. Егимбаева

Keywords:

signature, the interpretation of the algebraic system, syntax, semantics, axiom, a term calculus, field deployment.

Abstract

In this work: it is concretized about calculation of statements. The general scheme of creation of semantic interpretations of propositional calculations. Thermal calculation of Term is defined, as most consistently formalized option of calculation of statements. It is defined possibilities of strict division of syntax and semantics within calculation of Term. They are shown on examples of creation of nonconventional semantic interpretations of this calculation

Downloads

Published

2023-04-27

Issue

No. 2 (2014): Herald of Tver State University. Series: Pedagogy and Psychology

Section

Психология труда, инженерная психология, когнитивная эргономика