Проблема Дедекинда и метод граничных функционалов
Сапоженко А.А.
В книге излагается асимптотическое решение известной проблемы Дедекинда о числе монотонных булевых функций, а также метод граничных функционалов, предназначенный для решения задач подобного типа. Проблема имеет более чем вековую историю, начавшуюся с работы Р. Дедекинда 1897 г., в которой было найдено число элементов дистрибутивной свободной структуры с четырьмя образующими, или, что то же самое, число монотонных булевых функций, зависящих от четырех переменных. С начала 1950-х годов проблема привлекла большой интерес специалистов в области алгебры логики и кибернетики и способствовала развитию методов решения перечислительных задач.
کال:
2009
خپرندویه اداره:
Физматлит
ژبه:
russian
صفحه:
151
ISBN 10:
5922111175
ISBN 13:
9785922111171
فایل:
PDF, 937 KB
IPFS:
,
russian, 2009