Open AccessTruth-table Unoids not Satisfying the Urzyczyn's Conditions
Author(s) -
Дмитрий Ольгердович Дадеркин
Publication year - 2021
Publication title -
vestnik tverskogo gosudarstvennogo universiteta. seriâ prikladnaâ matematika
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.