621.398 Р 980 Рябинин, И. А. (д-р техн.наук). Логико-вероятностное исчисление как аппарат исследования надежности и безопасности структурно-сложных систем [Текст] / И. А. Рябинин> // Автоматика и телемеханика. - 2003. - N7. - Библиогр.:c.185-186(26назв.) . - ISSN 0005-2310
Рубрики: Радиоэлектроника--Автоматика и телемеханика Логика--Общие вопросы логики Математика--Математическая логика Кл.слова (ненормированные): исчисления -- логико-вероятностные исчисления -- надежность -- системы -- сложные системы -- структурно-сложные системы -- математические исследования -- дискретная математика -- вероятностная логика -- алгебра логики Аннотация: Кратко излагается понятие вероятностной логики как развитие индуктивной логики. Подчеркивается существенная разница между вероятностной логикой и логико-вероятностным исчислением - разделом математики, трактующим правила вычисления и оперирования с высказываниями, принимающими только два значения истинности (истина и ложь). Логико-вероятностные исчисления базируются на алгебре логики и правилах замещения логических аргументов в функциях алгебры логики вероятностями их истинности и логических операций арифметическими операциями. Перейти: www:http://www.apr.ru |
519.714 Г 955 Гуров, С. И. (???? 1). Логические алгоритмы распознания, основанные на разложении Гильберта [Текст] / С. И. Гуров> // Журнал вычислительной математики и математической физики. - 2003. - Т.43,N8. - Библиогр.: 5 назв. - Дан реферат . - ISSN 0044-4669
Рубрики: Математика--Математический анализ Кл.слова (ненормированные): булевые функции -- дискретная математика -- теория функций Аннотация: Предлагается новый класс дискретных распознающих алгоритмов, основанных на принципе голосования и использующих в качестве элементарных классификаторов монотонные функции разложения Э. Гильберта. Получена точная нижняя оценка мощности единичного множества монотонной булевой функции. |
519.714 А 655 Андреева, Т. В. (???? 1). О мощности слоев трехзначной n-мерной решетки [Текст] / Т. В. Андреева> // Журнал вычислительной математики и математической физики. - 2003. - Т.43,N10. - Библиогр.: 7 назв. - Дан реферат . - ISSN 0044-4669
Рубрики: Математика--Математическая кибернетика Кл.слова (ненормированные): графы -- дискретная математика -- метод граничных функционалов -- монотонные булевы функций Аннотация: Получена оценка отношения мощностей пары соседних слоев, а также асимптоматика мощности среднего слоя трехзначной n-мерной решетки. |
519.714 Р 693 Романов, М. Ю. О минимизации булевых функций некоторого класса [Текст] / М. Ю. Романов> // Журнал вычислительной математики и математической физики. - 2004. - Т. 44, N 1. - Библиогр.: 3 назв. . - ISSN 0044-4669
Рубрики: Математика--Математический анализ Кл.слова (ненормированные): дискретная математика -- булевы функции -- циклические функции -- цепные функции -- теория графов Аннотация: Рассмотрен вопрос о минимизации ДНФ некоторых частных случаев цикличесих и цепных функций, а также приведены оценки числа тупиковых ДНФ для функций. |
519.6:519.17 К 758 Кочкаров, А. А. Параллельный алгоритм поиска кратчайшего пути на предфрактальном графе [Текст] / А. А. Кочкаров, Р. А. Кочкаров> // Журнал вычислительной математики и математической физики. - 2004. - Т. 44, N 6. - Библиогр.: 14 назв. . - ISSN 0044-4669
Рубрики: Математика--Вычислительная математика--Комбинаторный анализ Кл.слова (ненормированные): предфрактальные графы -- фрактальные графы -- теория графов -- дискретная математика Аннотация: Предфрактальные (фрактальные) графы являются моделями ряда сложных самоподобных структур. Поэтому существует необходимость в рассмотрении теоретических вопросов, связанных с обработкой предфрактально-графовых моделей. Ввиду большой размерности предфрактальных графов проводится анализ моделей разумно на параллельных вычислительных системах. В настоящей работе предложен параллельный алгоритм поиска кратчайшего пути между двумя произвольными вершинами предфрактального графа. Распараллеливание алгоритма основано на использовании свойства самоподобия предфрактальных графов. Доп.точки доступа: Кочкаров, Р. А. |
517.719.1 Д 935 Дьяконов, А. Г. Кодировки и их использование при ДНФ-реализации бинарных функций [Текст] / А. Г. Дьяконов> // Журнал вычислительной математики и математической физики. - 2004. - Т. 44, N 8. - Библиогр.: 8 назв. . - ISSN 0044-4669
Рубрики: Математика--Математическая кибернетика Кл.слова (ненормированные): дискретная математика -- математические вопросы кибернетики -- бинарные функции -- кодировка целых чисел булевыми векторами Аннотация: Предложен метод синтеза нормальных форм бинарных функций k-значной логики по перечню их нулей. Метод основан на кодировке целых чисел булевыми векторами и сведении исходной задачи к задаче для булевых функций. Рассмотрены различные способы обобщения понятия дизъюктивной нормальной формы (ДНФ) на k-значный случай. Показано, что при подходящем выборе кодировки можно получать нормальные формы специальных типов. |
372.8 Е 455 Екимова, М. А. Цветные ребусы [Текст] / М. А. Екимова, Г. П. Кукин> // Математика в школе. - 2003. - N6 . - ISSN 0130-3358
Рубрики: Образование. Педагогика--Методика преподавания учебных предметов Кл.слова (ненормированные): урок математики -- ребусы -- цветные ребусы -- внеклассная работа -- математические задачи -- дискретная математика -- логическое мышление Аннотация: Предложен "новый" класс задач, относящихся к дискретной математике. Подобные задачи встречаются в олимпиадной практике. Могут быть использованы в курсе развивающей логики. Логические рассуждения, требующиеся при решении этих задач, подобны использующимся при разгадывании математических ребусов. Цветные ребусы красивее обычных ( в ответе цветная картинка). Для дополнительных занятий, а также для использования в качестве исследовательских задач, с которыми учащиеся выступят на научно-практических конференциях. Доп.точки доступа: Кукин, Г.П. |
Дюкова, Е. В. Построение неприводимых покрытий булевой матрицы с полиномиальной задержкой [Текст] / Е. В. Дюкова, А. С. Инякин> // Доклады Академии наук. - 2007. - Т. 413, N 5. - С. 596-598. - Библиогр.: 598 (11 назв. ) . - ISSN 0869-5652
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): дискретная математика -- булева матрица -- неприводимые покрытия -- подматрицы Аннотация: Построен алгоритм с полиномиальной задержкой для задачи поиска неприводимых покрытий булевой матрицы. Доп.точки доступа: Инякин, А. С. |
Зюляркина, Н. Д. О графах, в которых окрестности вершин являются кликовыми расширениями решеток [Текст] / Н. Д. Зюляркина, А. А. Махнев, Д. В. Падучих> // Доклады Академии наук. - 2007. - Т. 416, N 6, октябрь. - С. 735-739. - Библиогр.: с. 739 (5 назв. ) . - ISSN 0869-5652
Рубрики: Математика Комбинаторный анализ Кл.слова (ненормированные): граф Джонсона -- Джонсона граф -- граф Грассмана -- Грассмана граф -- дискретная математика Аннотация: Рассматриваются неориентированные графы без петель и кратных ребер. Доп.точки доступа: Махнев, А. А.; Падучих, Д. В. |
Тюрина, Т. П. Моделирование структуры электронных учебников на основе графа содержания на примере дискретной математики [Текст] / Т. П. Тюрина> // Информатика и образование. - 2009. - N 3. - С. 118-120. - Библиогр.: с. 120 (1 назв. ) . - ISSN 0234-0453
Рубрики: Образование. Педагогика Высшее профессиональное образование Кл.слова (ненормированные): высшее образование -- графическое содержание -- графы -- дискретная математика -- математика -- моделирование учебников -- моделирование структуры -- электронные учебники Аннотация: Графически представлено (в виде графов) содержание материала учебной дисциплины "Дискретная математика", содержание практической части, связь данной дисциплины с предметами-предшественниками и предметами-преемниками. |
Куликова, Т. А. Архитектура информационно-образовательной среды, ориентированной на самостоятельную работу студентов [Текст] / Т. А. Куликова> // Стандарты и мониторинг в образовании. - 2010. - N 1. - С. 14-18 : граф. . - ISSN 1998-1740
Рубрики: Образование. Педагогика Высшее профессиональное образование Кл.слова (ненормированные): образовательная среда -- информационная среда -- вузы -- преподаватели -- студенты -- практические модули -- самостоятельные работы -- виды модулей -- самостоятельная работа -- дискретная математика -- информационные технологии -- инновации -- модульные структуры -- блочные структуры -- архитектура информационно-образовательной среды Аннотация: Предложена модульно-блочная структура информационно-образовательной среды, позволяющая оптимизировать самостоятельную работу студентов на различных этапах дидактического цикла с учетом формирования и роста степени их самостоятельности. Рассмотрена практическая реализация предложенной архитектуры информационно-образовательной среды. |
Коршунов, А. Д. Некоторые нерешенные задачи дискретной математики и математической кибернетики [Текст] / А. Д. Коршунов> // Успехи математических наук. - 2009. - Т. 64, вып: вып. 5 (389). - С. 3-20. - Библиогр.: с. 15-20 (73 назв. ) . - ISSN 0042-1316
Рубрики: Математика Общие вопросы математики Математическая кибернетика Кл.слова (ненормированные): дискретная математика -- гамильтоновы циклы -- тройки Штейнера -- Штейнера тройки -- булевы функции -- булевы кубы -- числовые множества -- изоморфизм графов -- полиномиальные задачи -- комбинаторная математика Аннотация: В области дискретной математики и математической кибернетики известно большое число нерешенных задач. Написание достаточно полного обзора по таким задачам связано с преодолением больших трудностей. Во-первых, спектр таких задач весьма широк и разнообразен. Во-вторых, степень трудности решения разных задач сильно отличаются друг от друга. Поэтому из множества задач даже в подробный и обстоятельный обзор следует включать не все задачи, а наиболее важные и существенные. Объективный отбор таких задач затруднителен. В настоящую статью включены 13 нерешенных задач, относящихся к комбинаторной математике и теории сложности вычислений. Отобранные задачи отражают 50-летние исследования автора и по этой причине в определенной степени являются субъективными. Вместе с тем, эти задачи трудны и представляют значительный интерес для дискретной математики и математической кибернетики. |
Вернер, Ф. Предисловие к тематическому выпуску, посвященному 70-летию академика В. С. Танаева [Текст] / Ф. Вернер, А. Лазарев> // Автоматика и телемеханика. - 2010. - N 10. - С. 3-5 : ил. - Библиогр.: с. 4-5 (10 назв. ) . - ISSN 0005-2310
Рубрики: Радиоэлектроника Автоматика и телемеханика Математика Исследование операций Кл.слова (ненормированные): автоматизированные системы проектирования -- теория оптимизации -- теория расписаний -- вычислительные системы -- дискретная математика -- календарные планы -- графики -- диаграммы Гантта -- Гантта диаграммы -- юбилеи -- методы оптимизации -- ученые Аннотация: В данном выпуске представлены статьи с результатами исследований по задачам теории расписаний, календарного планирования и смежных областей дискретной оптимизации, подготовленные как учениками Вячеслава Сергеевича Танаева, так и коллегами, работающими в данной области. Доп.точки доступа: Лазарев, А.; Танаев, Вячеслав Сергеевич (академик ; 1940-2002) \в. С.\ |
Гордон Валерий Сергеевич [Текст]> // Автоматика и телемеханика. - 2010. - N 10. - С. 167-168 . - ISSN 0005-2310
Рубрики: Радиоэлектроника Автоматика и телемеханика Математика Исследование операций Кл.слова (ненормированные): ученые -- некрологи -- дискретная оптимизация -- дискретная математика -- персоналии -- теория расписаний -- оперативно-календарное планирование Аннотация: 4 июня 2010 года в возрасте 65 лет ушел из жизни белорусский ученый, доктор физико-математических наук, профессор - Валерий Сергеевич Гордон - выдающийся специалист в области дискретной математики, лауреат государственной премии Республики Беларусь, член Нью-Йоркской академии наук. Доп.точки доступа: Гордон, Валерий Сергеевич (доктор физико-математических наук ; 1945-2010) \в. С.\ |
519.718 Б 380 Беджанова, С. Р. Легкотестируемые схемы для линейных функций [Текст] / С. Р. Беджанова> // Вестник Московского университета. Сер. 1. Математика. Механика. - 2011. - N 4. - С. 57-59 : 2 рис. - Библиогр.: с. 59 . - ISSN 0201-7385
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): схемы из функциональных элементов -- инверсные неисправности -- диагностические тесты -- длина теста -- дискретная математика Аннотация: В работе установлено, что линейную булеву функцию от n переменных можно реализовать неизбыточной схемой из функциональных элементов в базисе, которая в случае инверсных неисправностей на выходах элементов допускает единичный диагностический тест длины ]log (n-1) [+2. |
519.7 А 655 Андреев, А. А. Об одной последовательности функций многозначной логики [Текст] / А. А. Андреев> // Вестник Московского университета. Сер. 1. Математика. Механика. - 2011. - № 6. - С. 52-57. - Библиогр.: с. 56-57 . - ISSN 0201-7385
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): функции многозначной логики -- формулы -- сложность формул -- реализация функций формулами -- дискретная математика Аннотация: Рассматривается задача о реализации функций многозначной логики формулами. Приводится метод получения сверхэкспоненциальных оценок сложности для последовательностей функций. |
511 К 782 Краснова, Т. И. Инверсионная сложность самокорректирующихся схем для одной последовательности булевых функций [Текст] / Т. И. Краснова> // Вестник Московского университета. Сер. 1. Математика. Механика. - 2012. - № 3. - С. 58-61. - Библиогр.: с. 61 . - ISSN 0201-7385
Рубрики: Математика Теория чисел Кл.слова (ненормированные): монотонные симметрические булевые функции -- инверсионная сложность -- самокорректирующиеся схемы -- теоремы -- доказательства -- пороговые функции -- дискретная математика Аннотация: Исследуется инверсионная сложность пороговой функции. |
510 П 472 Поздравляем юбиляра! [Текст]> // Информационные технологии. - 2009. - N 5. - С. 85 . - ISSN 1684-6400
Рубрики: Математика Общие вопросы математики Кл.слова (ненормированные): ученые -- наука -- дискретная математика -- юбилеи -- экономические науки Аннотация: Редколлегия и редакция журнала поздравляет заслуженного деятеля науки и техники РФ, известного ученого в области дискретной математики и информационных технологий Вячеслава Афанасьевича Горбатова с юбилеем. Доп.точки доступа: Горбатов, Вячеслав Афанасьевич (д-р физ.-мат наук, д-р техн наук, д-р экон. наук, проф.) |
519.6 Г 671 Горбатов, В. А. (д-p техн. наук, проф.). Теоретико-графовое экспертное оценивание альтернатив [Текст] / В. А. Горбатов, авт. И. И. Добрик> // Информационные технологии. - 2010. - N 11. - С. 8-15. - Библиогр.: с. 15 (5 назв. ) . - ISSN 1684-6400
Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): дискретная математика -- теоретико-графовая стратегия -- диаграммы Хассе -- Хассе диаграммы -- рейтинговые графы -- автоматизированное проектирование Аннотация: Предлагается эффективное оценивание альтернатив, основанное на оптимальной теоретико-графовой стретегии. Доп.точки доступа: Добрик, И. И. (аспирант) |
519.1 К 705 Коршунов, А. Д. Сложность вычислений булевых функций [Текст] / А. Д. Коршунов> // Успехи математических наук. - 2012. - Т. 67, вып. 1 (403). - С. 97-168 : ил. - Библиогр.: с. 159-168 (165 назв.) . - ISSN 0042-1316
Рубрики: Математика Комбинаторный анализ Математическая кибернетика Кл.слова (ненормированные): булевы функции -- сложность вычислений -- булевы схемы -- булевы схемы без ветвлений -- контактные схемы -- клеточные схемы -- частичные булевы функции -- логические формулы -- дискретная математика Аннотация: Булевы функции являются одним из основных объектов дискретной математики, в особенности тех ее разделов, которые входят в математическую логику и математическую кибернетику. Язык булевых функций удобен для описания функционирования многих дискретных систем, например, контактных схем, булевых схем, ветвящихся программ и некоторых других. Важным параметром таких дискретных систем является их сложность. Эта характеристика активно изучается, начиная с работ К. Шеннона. Опубликовано много научных статей, в которых содержится большое число результатов. Цель обзора - изложение основных результатов по сложности вычислений (реализации) булевых функций контактными схемами, булевыми схемами и булевыми схемами без ветвлений, которые получены за последние шестьдесят лет. |