Сводный каталог книг

[Текст] : монография / С.С. Марченков. - Москва : Физматлит, 2000. - 128 с. + табл. - Библиогр.: с.119-121. - ISBN 5-9221-0066-1 : 54.00 р.

УДК

519.7

Аннотация: В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые "сильные" операторы замыкания, которые приводят к конечным решеткам замкнутых классов. Для научных сотрудников, работающих в области дискретной математики, для студентов, изучающих булевы функции.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] / Марченков С.С. - 2-е изд., испр. - Москва : Физматлит, 2001. - 126 с : табл. - Библиогр.: с. 119-121. - Указ. обозначений, предм.: с. 122-126. - ISBN 5-9221-0132-3 : 58.10 р.

УДК	519.7%ББК 22.176

Аннотация: В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые "сильные" операторы замыкания, которые приводят к конечным решеткам замкнутых классов. Первое издание - 2000 г. Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / С.С. Марченков, А.Б.Угольников; АН СССР. Институт прикладной математики им.М.В.Келдыша. - Москва : [б. и.], 1990. - 147 с. - Библиогр.: с.143. - 8.50 р.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Угольников, А.Б.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Учебное издание / С.С. Марченков. - Москва : Физматлит, 2007. - 63 с. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6 : 95.27 р.

ГРНТИ	27.47
УДК	519.7(075.8)^V3

ББК В176

Аннотация: Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента - рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций - примитивно рекурсивные функции. Затем происходит расширение круга вычислимых функций: рассматриваются частично определенные вычислительные функции, а также всюду определенные вычислимые функции, не являющиеся примитивно рекурсивными. В заключение определяются абстрактные вычислительные устройства - машины Тьюринга, и класс функций, вычислимых на машинах Тьюринга, связывается с классом частично рекурсивных функций. Для школьников старших классов и студентов вузов, знакомящихся с основами теории алгоритмов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / С. С. Марченков. - Москва : Физматлит, 2013. - 58 с. ; 22 см. - Библиогр.: с. 56-58. - 300 экз. - ISBN 978-5-9221-1486-8 : 177.10 р.

ГРНТИ

27.03

ББК В12

Аннотация: В книге исследуются функциональные уравнения для классов булевых функций, функций многозначной логики, функций счетнозначной логики и функций автоматного типа. Основная решаемая проблема - определимость множеств функций системами функциональных уравнений над произвольными множествами функций. Для научных сотрудников, аспирантов и преподавателей высшей школы, специализирующихся в области дискретной математики.

Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)