Проблема Дедекинда и метод граничных функционалов

Bibliografske podrobnosti
Glavni avtor: Сапоженко А. А. Александр Антонович
Izvleček:В книге излагается асимптотическое решение известной проблемы Дедекинда о числе монотонных булевых функций, а также метод граничных функционалов, предназначенный для решения задач подобного типа. Проблема имеет более чем вековую историю, начавшуюся с работы Р. Дедекинда 1897 г., в которой было найдено число элементов дистрибутивной свободной структуры с четырьмя образующими, или, что то же самое, число монотонных булевых функций, зависящих от четырех переменных. С начала 1950-х годов проблема привлекла большой интерес специалистов в области алгебры логики и кибернетики и способствовала развитию методов решения перечислительных задач. Книга адресована студентам, аспирантам и научным работникам в области дискретной математики.
Jezik:ruščina
Izdano: Москва, Физматлит, 2009
Teme:
Format: Knjiga
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=164649

MARC

LEADER 00000nam0a2200000 4500
001 164649
005 20231101222510.0
010 |a 9785922111171 
035 |a (RuTPU)RU\TPU\book\178623 
090 |a 164649 
100 |a 20090909d2009 k y0rusy50 ca 
101 0 |a rus 
102 |a RU 
105 |a y z 001zy 
200 1 |a Проблема Дедекинда и метод граничных функционалов  |f А. А. Сапоженко 
210 |a Москва  |c Физматлит  |d 2009 
215 |a 152 с. 
320 |a Библиогр.: с. 146-150. 
330 |a В книге излагается асимптотическое решение известной проблемы Дедекинда о числе монотонных булевых функций, а также метод граничных функционалов, предназначенный для решения задач подобного типа. Проблема имеет более чем вековую историю, начавшуюся с работы Р. Дедекинда 1897 г., в которой было найдено число элементов дистрибутивной свободной структуры с четырьмя образующими, или, что то же самое, число монотонных булевых функций, зависящих от четырех переменных. С начала 1950-х годов проблема привлекла большой интерес специалистов в области алгебры логики и кибернетики и способствовала развитию методов решения перечислительных задач. Книга адресована студентам, аспирантам и научным работникам в области дискретной математики. 
606 1 |a Булевы функции  |x (алгебра)  |2 stltpush  |3 (RuTPU)RU\TPU\subj\64364  |9 81266 
610 1 |a проблемы Дедекинда 
610 1 |a метод граничных функционалов 
610 1 |a асимптотики 
610 1 |a ординарные функциональные пары 
610 1 |a связные множества 
610 1 |a антицепи 
610 1 |a монотонные функции 
610 1 |a дискретная математика 
675 |a 512.56  |v 3 
700 1 |a Сапоженко  |b А. А.  |g Александр Антонович 
801 1 |a RU  |b 63413507  |c 20090909 
801 2 |a RU  |b 63413507  |c 20150506  |g RCR 
942 |c BK 
959 |a 92/20090909  |d 1  |e 123,20  |f ЧЗТЛ:1