RUS  ENG
Полная версия
ЖУРНАЛЫ // Вестник Тверского государственного университета. Серия: Прикладная математика // Архив

Вестник ТвГУ. Серия: Прикладная математика, 2021, выпуск 3, страницы 33–43 (Mi vtpmk621)

Теоретические основы информатики

О табличных уноидах, не удовлетворяющих условиям Ужичина

Д. О. Дадеркин

Тверской государственный университет, г. Тверь

Аннотация: Достаточные условия табличности, одного из важных свойств, характеризующих работу программы в алгебраической системе, были предложены в работах П. Ужичина [1-3]. В данной работе описываются такие достаточные условия табличности, которые позволяют строить табличные уноиды,не удовлетворяющие условиям Ужичина.

Ключевые слова: алгебраическая система, алгебра, уноид, свойство табличности, динамические логики, терм.

УДК: 510.6

Поступила в редакцию: 07.08.2021
Исправленный вариант: 04.10.2021
Принята в печать: 27.10.2021

DOI: 10.26456/vtpmk621



Реферативные базы данных:


© МИАН, 2024