Формулируется теория Галуа для S-замкнутых классов дискретных функций, совпадающих в частных случаях с замкнутыми суперпозицией классами функций многозначной логики, с клонами, с наследственными системами дискретных функций, а также с классами функций, вычисляемых схемами из переключательных элементов.
Скачать электронную версию публикации
Загружен, раз: 97
- Title СООТВЕТСТВИЕ ГАЛУА ДЛЯ ЗАМКНУТЫХ КЛАССОВ ДИСКРЕТНЫХ ФУНКЦИЙ
- Headline СООТВЕТСТВИЕ ГАЛУА ДЛЯ ЗАМКНУТЫХ КЛАССОВ ДИСКРЕТНЫХ ФУНКЦИЙ
- Publesher
Tomsk State University - Issue Прикладная дискретная математика 2(8)
- Date:
- DOI
Ключевые слова
discrete function, Galois connection, clone, closed class, дискретная функция, соответствие Галуа, сохранение предиката, предикат, клон, замкнутый классАвторы
Ссылки
Парватов Н. Г. Наследственные системы дискретных функций // Дискрет. анализ и ис-след. операций. Сер. 2. 2007. Т. 14. №2. С. 76-91.
Мальцев А. И. Итеративные алгебры и многообразия Поста // Алгебра и логика. 1966. Т. 5. № 2. С. 5-24.
Мальцев А. И. Итеративные алгебры Поста. Новосибирск: Изд-во Новосиб. ун-та, 1976.
Hellerstein L. On generalized constraints and certificates // Discrete Mathematics. 2001. V. 226. P. 211-232.
Poshel R., Kaluznin L. A. Funktionen- und Relationenalgebren. Berlin: WEB Deutscher Verlag der Wissenschaften, 1979.
Pippenger N. Galois theory for minors of finite functions // Discrete Mathematics. 2002. V. 254. P. 405-419.
Geiger D. Closed systems of functions and predicates // Pacific journal of mathematics. 1968. V.27. No. 1. P. 95-100.
Боднарчук В. Г., Калужнин Л. А., Котов В. Н., Ромов Б. А. Теория Галуа для алгебр Поста // Кибернетика 1969. №3. С. 1-10; №5. С. 1-9.
Курош А. Г. Лекции по общей алгебре. СПб.: Изд-во «Лань», 2005.
СООТВЕТСТВИЕ ГАЛУА ДЛЯ ЗАМКНУТЫХ КЛАССОВ ДИСКРЕТНЫХ ФУНКЦИЙ | Прикладная дискретная математика. 2010. № 2(8).
Скачать полнотекстовую версию
Полнотекстовая версияЗагружен, раз: 218