|
Дискретный анализ и исследование операций, сер. 1, 2002, том 9, выпуск 4, страницы 57–74
(Mi da186)
|
|
|
|
Об инвариантных классах функций, бесповторно выразимых формулами
Д. Ю. Черухин Московский государственный университет им. М. В. Ломоносова, механико-математический факультет
Аннотация:
Показано, что мощность множества инвариантных классов функций 2-значной логики,
бесповторно выразимых формулами в фиксированном полном конечном базисе, счетна;
доказана возможность описания этих классов с помощью запрещённых подфункций и контекстно-свободных грамматик.
Для каждого $k>2$ приведён пример конечного базиса в $k$-значной логике,
для которого мощность множества таких классов равна континууму.
Библиогр. 3.
Статья поступила: 06.05.2002
Образец цитирования:
Д. Ю. Черухин, “Об инвариантных классах функций, бесповторно выразимых формулами”, Дискретн. анализ и исслед. опер., сер. 1, 9:4 (2002), 57–74
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/da186 https://www.mathnet.ru/rus/da/v9/s1/i4/p57
|
Статистика просмотров: |
Страница аннотации: | 283 | PDF полного текста: | 102 | Список литературы: | 40 |
|