Truth-table Unoids not Satisfying the Urzyczyn's Conditions
Author(s) -
Дмитрий Ольгердович Дадеркин
Publication year - 2021
Publication title -
herald of tver state university series applied mathematics
Language(s) - English
Resource type - Journals
ISSN - 1995-0136
DOI - 10.26456/vtpmk621
Subject(s) - table (database) , truth table , property (philosophy) , algebraic number , mathematics , work (physics) , computer science , arithmetic , algorithm , epistemology , philosophy , database , mathematical analysis , engineering , mechanical engineering
Достаточные условия табличности, одного из важных свойств, характеризующих работу программы в алгебраической системе, были предложены в работах П. Ужичина \cite {U1,U2,U3}. В данной работе описываются такие достаточные условия табличности, которые позволяют строить табличные уноиды,не удовлетворяющие условиям Ужичина. Sufficient conditions of truth-table property, one of the important properties that characterize the work of a program in an algebraic system, were proposed in the works of P. Urzyczyn \cite {U1,U2,U3}. In this work such sufficient conditions of truth-table property are described, that allow constructing truth-table unoids that not satisfy the conditions of Urzyczyn.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom