Приложение
для AndroidПолное описание
51/Б 256
Баротов, Достонжон Нумонжонович. О неравенствах между выпуклыми вогнутыми и полилинейными продолжениями булевых функций / Д. Н. Баротов, В. А. Судаков ; Институт прикладной математики имени М. В. Келдыша (Москва). - Москва : ИПМ им. М. В. Келдыша РАН, 2024. - 13 с. - (Препринт / Институт прикладной математики имени М. В. Келдыша Российской академии наук (Москва), ISSN 2071-2898 ; 30 за 2024 г.). - Библиогр.: с. 12-13 (19 назв.). - 59 экз. - DOI 10.20948/prepr-2024-30 : 75 р. - Текст (визуальный) : непосредственный.
На обложке: Российская академия наук - 300 лет.
Содержание:
Введение. - С. 3
Используемые определения и обозначения. - С. 5
Основные результаты. - С. 7
| ГРНТИ | УДК | |
| 27.03.19 | 510.633.3(04) |
Рубрики:
Алгебра логики
Кл.слова (ненормированные): булевы функции -- выпуклое продолжение -- вогнутое продолжение -- неравенства -- булевы уравнения -- булевы переменные
Аннотация: Препринт посвящен исследованию неравенств между выпуклыми, вогнутыми и полилинейными продолжениями булевых функций. В результате исследования доказано, что для заданной произвольной булевой функции от п переменных, во-первых, любое её выпуклое продолжение на n-мерный единичный куб не превосходит ее полилинейного продолжения на n-мерный единичный куб и, во-вторых, её полилинейное продолжение на n-мерный единичный куб не превосходит ни одного её вогнутого продолжения на n-мерный единичный куб. Доказано также, что равенство в этой последовательности неравенств может быть достигнуто тогда и только тогда, когда число существенных переменных заданной булевой функции не более одной. Полученный результат может быть использован при преобразовании систем булевых уравнений к задаче численной оптимизации и последующем поиске их решений.
Доп. точки доступа:
Судаков, Владимир Анатольевич
Институт прикладной математики имени М. В. Келдыша (Москва)
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Обложка
Переход по DOI
Белова, Кристина Михайловна. Исследование эффективности методов оценки релевантности текстов / К. М. Белова, В. А. Судаков, 2020. - 16 с. - Текст (визуальный) : непосредственный.Сивакова, Татьяна Владимировна. Применение нечетких методов поддержки решений для подбора персонала / Т. В. Сивакова, В. А. Судаков, Ю. П. Титов, 2020. - 15 с. - Текст (визуальный) : непосредственный.Пономарев, Роман Львович. Разработка имитационной модели технического обслуживания воздушных судов на базе интернета вещей / Р. Л. Пономарев, В. А. Судаков, 2021. - 19 с. - Текст (визуальный) : непосредственный.Бахвалова, Екатерина Александровна. Исследование алгоритмов консенсуса для блокчейн-платформ / Е. А. Бахвалова, В. А. Судаков, 2021. - 16 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Баданина, Наталья Дмитриевна. Модели машинного обучения для классификации отзывов о банках / Н. Д. Баданина, В. А. Судаков, 2021. - 14 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Куренных, Алексей Евгеньевич. Комбинированные рекомендательные алгоритмы для научно-производственных объединений / А. Е. Куренных, В. А. Судаков, 2021. - 13 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Унифицированное моделирование распространения вируса в городских агломерациях / В. А. Судаков, Т. В. Сивакова, В. И. Балута [и др.], 2021. - 20 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Ехлаков, Роман Сергеевич. Прогнозирование стоимости котировок при помощи LSTM И GRU сетей / Р. С. Ехлаков, В. А. Судаков, 2022. - 13 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Белозеров, Илья Андреевич. Исследование моделей машинного обучения для сегментации медицинских изображений / И. А. Белозеров, В. А. Судаков, 2022. - 15 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Белозеров, Илья Андреевич. Машинное обучение с подкреплением для решения задач математического программирования / И. А. Белозеров, В. А. Судаков, 2022. - 14 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Судаков, Владимир Анатольевич. Унифицированная программа прогнозирования распространения вирусных инфекций / В. А. Судаков, Т. В. Сивакова, 2022. - 12 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Судаков, Владимир Анатольевич. Прогнозирование авиационных перевозок методами статистического анализа и машинного обучения / В. А. Судаков, М. А. Тимофеев, 2022. - 14 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Баданина, Наталья Дмитриевна. Ранжирование объектов на основе нечеткой кластеризации / Н. Д. Баданина, А. А. Зинченко, В. А. Судаков, 2022. - 12 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Судаков, Владимир Анатольевич. Алгоритм машинного обучения для решения задачи формирования рекомендаций товаров и услуг / В. А. Судаков, И. А. Трофимов. - Текст : непосредственный // Моделирование и анализ данных : научный журнал / Московский государственный психолого-педагогический университет. - Москва : Моск. гос. психолого-пед. ун-т, 2020. - Том 10 N 4. - с. 5-16Баданина, Наталья Дмитриевна. Кластеризация водителей по степени опасности вождения с использованием алгоритмов машинного обучения / Н. Д. Баданина, В. А. Судаков. - Текст : непосредственный // Моделирование и анализ данных : научный журнал / Московский государственный психолого-педагогический университет. - Москва : Моск. гос. психолого-пед. ун-т, 2022. - Том 12 N 1. - с. 5-15Минаков, Артём Дмитриевич. Методы ускорения контролируемых онлайн-экспериментов / А. Д. Минаков, В. А. Судаков, 2023. - 16 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Применение метода муравьиных колоний для поиска рациональных значений параметров технической системы / В. А. Судаков, Ю. П. Титов, Т. В. Сивакова, П. М. Иванова, 2023. - 18 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Судаков, Владимир Анатольевич. Модель машинного обучения с подкреплением для планирования развития спортивной инфраструктуры / В. А. Судаков, И. А. Белозеров, Е. С. Прудкова. - Текст : непосредственный // Математическое моделирование : журнал / Российская академия наук, Институт прикладной математики им. М. В. Келдыша. - Москва : ИПМ им. М. В. Келдыша РАН, 2022. - Том 34 N 12. - с. 103-115Авраменко, Александр Дмитриевич. Создание синтетических графов для задачи коммивояжёра / А. Д. Авраменко,В. А. Судаков, 2024. - 16 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Барчев, Николай Борисович. Исследование методов модификации функций принадлежности нечетких множеств на основе эталонов / Н. Б. Барчев, В. А. Судаков, 2024. - 19 с. (Введено оглавление). - Текст (визуальный) : непосредственный.
Показать все результатыРабочие таблицы классификации по разделу УДК "Информатика" : научно-техническая информация / Министерство науки, высшей школы и технической политики Российской Федерации, Государственная публичная научно-техническая библиотека России (ГПНТБ России) [и др.], 1992. - 60 c. (Введено оглавление). - Текст : непосредственный.Методическое пособие по применению международного коммуникативного формата UNIMARC : в 3-х частях : издается в рамках Программы ИФЛА: Универсальный библиографический учет и Международная программа MARC / Государственная публичная научно-техническая библиотека России ; пособие подготовлено специалистами ГПНТБ России Э. Ш. Лобановой, Е. Е. Фроловой ; под общей редакцией действительного члена Постоянного Комитета по UNIMARC Я. Л. Шрайберга. Ч. 1 : Книги, 1995. - 55, [1] с. (Введено оглавление). - Текст : непосредственный.Методическое пособие по применению международного коммуникативного формата UNIMARC : в 3-х частях : издается в рамках Программы ИФЛА: Универсальный библиографический учет и Международная программа MARC / Государственная публичная научно-техническая библиотека России ; пособие подготовлено специалистами ГПНТБ России Э. Ш. Лобановой, Е. Е. Фроловой ; под общей редакцией действительного члена Постоянного Комитета по UNIMARC Я. Л. Шрайберга. Ч. 2 : Сериальные издания, 1995. - 63 с. (Введено оглавление). - Текст : непосредственный.Методическое пособие по применению международного коммуникативного формата UNIMARC : в 3-х частях : издается в рамках Программы ИФЛА: Универсальный библиографический учет и Международная программа MARC / Государственная публичная научно-техническая библиотека России ; пособие подготовлено специалистами ГПНТБ России Э. Ш. Лобановой, Е. Е. Фроловой ; под общей редакцией действительного члена Постоянного Комитета по UNIMARC Я. Л. Шрайберга. Ч. 3 : Составная часть документа, 1995. - 35 с. (Введено оглавление). - Текст : непосредственный.Рабочие таблицы классификации по УДК по проблеме "Охрана окружающей среды" / Министерство науки и технической политики Российской Федерации, Всероссийский институт научной и технической информации (ВИНИТИ), Государственная публичная научно-техническая библиотека России (ГПНТБ СССР), 1994. - 258 c. (Введено оглавление). - Текст : непосредственный.Бакстон Э. Руководство по CDS/ISIS / Э. Бакстон, А. Хопкинсон ; перевод с английского под руководством и общей редакцией Я. Л. Шрайберга, 1997. - 225 c. (Введено оглавление). - Текст : непосредственный.Экономика библиотечно-информационной деятельности : (методические рекомендации) / Министерство науки и технической политики Российской Федерации, Государственная публичная научно-техническая библиотека России (ГПНТБ России), 1993. - 44 c. (Введено оглавление). - Текст : непосредственный.Бизнес-план в научно-технических библиотеках : (рекомендации) / Министерство наук и технологий Российской Федерации, Государственная публичная научно-техническая библиотека России (ГПНТБ России), 1997. - 29 с. (Введено оглавление). - Текст : непосредственный.Библиотечный маркетинг : практикум / Министерство науки и технологий Российской Федерации, Государственная публичная научно-техническая библиотека России, Московский государственный университет культуры, 1997. - 46 с. (Введено оглавление). - Текст : непосредственный.Методика составления Алфавитно-предметного указателя к Универсальной десятичной классификации / Министерство науки, высшей школы и технической политики Российской Федерации, Государственная публичная научно-техническая библиотека России (ГПНТБ России), 1992. - 37, [1] с. (Введено оглавление). - Текст : непосредственный.Организация, ведение и использование новейших носителей информации в практике работы специальных библиотек : (методические рекомендации) / Министерство науки, высшей школы и технической политики Российской Федерации, Государственная публичная научно-техническая библиотека России (ГПНТБ России), 1992. - 33 с. (Введено оглавление). - Текст : непосредственный.Патентная информация и патентные услуги : Справочник / Сост. В.Н.Славин, 1992. - 57 с. (Введено оглавление). - Текст : непосредственный.Библиотеки, социальное партнерство, благотворительность / Министерство науки и технологий Российской Федерации, Государственная публичная научно-техническая библиотека России (ГПНТБ России), 1999. - 19 с. (Введено оглавление). - Текст : непосредственный.Вебер Х. Оцифровка как метод обеспечения сохранности? / Х. Вебер, М. Дерр ; перевод с английского канд. физ.-мат. наук А. И. Земсков ; научный редактор доктор техн. наук Я. Л. Шрайберг, 1999. - 47, [1] с. (Введено оглавление). - Текст : непосредственный.Горчаков В.В. Реинжиниринг организации: информационные ресурсы и управление знаниями / Горчаков В. В., Голодова О. В., Дианова В. Ю. ; рецензенты: Я. Л. Шрайберг, президент Международного библиотечного, информационного и и аналитического центра, первый заместитель директора Государственной публичной научно-технической библиотеки России, д.т.н., В. А. Кирсанов, начальник Дальневосточного таможенного управления, генерал-майор таможенной службы, 2000. - 139 с. (Введено оглавление). - Текст : непосредственный.НТБ в условиях смены региональной политики / Министерство промышленности, науки и технологий Российской Федерации, Государственная публичная научно-техническая библиотека России (ГПНТБ России), 2000. - 31 с. (Введено оглавление). - Текст : непосредственный.Обеспечение системы подготовки и повышения квалификации кадров / Министерство промышленности, науки и технологий Российской Федерации, Государственная публичная научно-техническая библиотека России (ГПНТБ России), 2003. - 52 с. (Введено оглавление). - Текст : непосредственный.Меньщикова, Светлана Павловна. Роль библиотек в развитии сферы культуры: региональный аспект / С. П. Меньщикова, 2003. - 31 с. (Введено оглавление). - Текст : непосредственный.Марчингтон Д. Боевые ножи : Иллюстрир. энциклопедия : Пер. с англ. / Д. Марчингтон, 2003. - 159 с. (Введено оглавление). - Текст : непосредственный.Использование мини и микроЭВМ для автоматизации библиотечно-информационных процессов : (методические рекомендации) / Государственный комитет СССР по науке и технике, Государственная публичная научно-техническая библиотека СССР (ГПНТБ СССР), Информационно-вычислительный центр при ГПНТБ СССР ; научный руководитель канд. техн. наук Городничий В. Л. . Вып. 2 / подготовлены Новиковым И. Ю. [и др.], 1989. - 36 c. (Введено оглавление). - Текст : непосредственный.
Показать все результатыАстрономический вестник. Исследования солнечной системы / Российская академия наук, Институт прикладной математики имени М. В. Келдыша (Москва). - Журнал выходит с 1967г. - Текст : непосредственный.Протопопов А.А. Моделирование динамики ротора и выбор оптимальных конструктивных параметров малорасходного центробежного насоса : автореф. дис. .. канд. физ.-мат. наук : 01.02.01 / А. А. Протопопов, 2018. - 22 с.Математическое моделирование социальных процессов : сборник трудов / Институт прикладной математики им. М. В. Келдыша РАН. Вып. 20, 2018. - 280 с. - Текст : непосредственный.Научный сервис в сети Интернет : труды XXI Всероссийской научной конференции, Новороссийск, 23-28 сентября 2019 г., 2019. - 666 с. - Текст : непосредственный.Математическое моделирование и информатика социальных процессов : сборник трудов / Институт прикладной математики имени М. В. Келдыша. Вып. 21 / главный редактор - А. П. Михайлов, 2019. - 161 с. - Текст : непосредственный.Научный сервис в сети Интернет : труды XXIII Всероссийской научной конференции онлайн, 20-23 сентября 2021 г., 2021. - 399, [1] с. - Текст (визуальный) : непосредственный.Быстров, Владимир Сергеевич. Компьютерное моделирование и численные исследования пептидных нанотрубок на основе дифенилаланина / В. С. Быстров, С. В. Филиппов, 2021. - 54 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Злотник, Александр Анатольевич. О L2-диссипативности линеаризованный разностной схемы на разнесенных сетках с квазигидродинамической регуляризацией для 1D баротропных уравнений движения газа / А. А. Злотник, Т. А. Ломоносов, 2021. - 27 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Построение модели эволюции объектов малоразмерной фракции космического мусора, образующегося в результате разрушений / Г. К. Боровин, М. В. Захваткин, В. А. Степаньянц, И. В. Усовик, 2021. - 27 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Рыков, Юрий Германович. Технология использования нечетких когнитивных карт с математической точки зрения / Ю. Г. Рыков, 2021. - 22 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Расчет несжимаемых течений в системе "пористое тело - свободный поток" / С. В. Поляков, М. А. Трапезникова, А. Г. Чурбанов, Н. Г. Чурбанова, 2021. - 19 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Подлазов, Андрей Викторович. Дополнительное исследование самоорганизованно-критической модели Манны в случае верхней критической размерности / А. В. Подлазов, 2021. - 12 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Злотник, Александр Анатольевич. Свойства агрегированной квазигидродинамической системы уравнений гомогенной газовой смеси с общей регуляризующей скоростью / А. А. Злотник, А. С. Федченко, 2021. - 26 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Колесниченко, Александр Владимирович. К моделированию динамической эволюции Вселенной под воздействием энтропийной силы, связанной с модифицированной энтропией Шарма-Миттала / А. В. Колесниченко, М. Я. Маров, 2021. - 36 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Малинецкий, Георгий Геннадьевич. О развитии прикладной математики, искусственного интеллекта и компьютерных вычислений / Г. Г. Малинецкий, В. С. Смолин, 2021. - 49 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Варин, Виктор Петрович. Преобразование последовательностей в доказательствах иррациональности некоторых фундаментальных констант / В. П. Варин, 2021. - 32 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Кислицын, Алексей Алексеевич. Исследование статистик графов ближайших соседей / А. А. Кислицын, Ю. Н. Орлов, 2021. - 23 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Балашов, Владислав Александрович. Регуляризованная модель типа фазового поля для описания системы "жидкость - твердое тело" с учетом химических реакций / В. А. Балашов, Е. Б. Савенков, 2021. - 20 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Поташов, Марат Шамилевич. Модификация уравнений переноса излучения для включения не-ЛТР эффектов при расчете кривых блеска сверхновых радиационно-гидродинамическим кодом STELLA / М. Ш. Поташов, П. В. Бакланов, С. И. Блинников, 2021. - 27 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Атомистическое моделирование параметров критической области золота с использованием кривой сосуществования жидкость-пар / В. И. Мажукин, О. Н. Королева, М. М. Демин, А. А. Алексашкина, 2021. - 16 с. (Введено оглавление). - Текст (визуальный) : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.Хомич В.И. Проблема отделимости в пропозициональных исчислениях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич, 1995. - 27 с. - Текст : непосредственный.Машурян А.С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян, 1995. - 14 с. - Текст : непосредственный.Ешкеев А.Р. Ионсоновские теории : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. Р. Ешкеев, 1995. - 17 с. - Текст : непосредственный.Кудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Бабенышев С.В. Исследования допустимых правил в нестандартных логиках : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Бабенышев, 1995. - 13 с. - Текст : непосредственный.Конев Б.Ю. Оценки высоты термов в наиболее общем унификаторе : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Б. Ю. Конев, 1999. - 15 с. - Текст : непосредственный.Сидон Т.Л. Динамические логики доказательств с оператором доказуемости : Автореферат диссертации на соискание ученой степени канд.физ.-мат. наук:01.01.06 / Т. Л. Сидон, 1997. - 12 с. - Текст : непосредственный.
Показать все результатыAlgebraic logic / сост. H. Andreka, 1991. - VI,746 p. p. - Текст : непосредственный.Schmidt G. Relations and graphs : Discrete mathematics for computer scientists / G.Schmidt,T.Str@:ohlein, 1993. - VIII,301 p. p. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1994. - 36 c. - Текст : непосредственный.Обухов В.Е. Логические уравнения и прикладные задачи / В.Е.Обухов,В.В.Павлов, 1992. - 187 c. - Текст : непосредственный.Rijke M.de The logic peirce algebras / M.de Rijke, 1994. - 23 p. - Текст : непосредственный.Pinus A.G. Constructions of boolean algebras / A.G.Pinus, 1994. - 208 c. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1995. - 38 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Schaller C. Verallgemeinerung der Stone schen Satze : Diss / C.Schaller, 1995. - 155 S. - Текст : непосредственный.Волгин Л.И. АМ-алгебра и ее применения : Две лекции по курсу "Логические основы и модели нейронных сетей" / Л.И.Волгин, 1997. - 51 с. - Текст : непосредственный.Гончаров С.С. Счетные булевы алгебры и разрешимость / С.С.Гончаров, 1996. - 361 с. - Текст : непосредственный.Липачева Е.В. Группы рекурсивных автоморфизмов и полугруппы частичных автоморфизмов булевых алгебр / Е.В.Липачева, 1996. - 37 с. - Текст : непосредственный.Гороховская Н.Г. О понятии "быть свободной алгеброй" в HF-логике / Н.Г.Гороховская,В.Н.Ремесленников, 1995. - 21 c. - Текст : непосредственный.Алаев П.Е. Сложные булевы алгебры с малым рангом / П.Е.Алаев, 1998. - 12 с. - Текст : непосредственный.Винокуров С.Ф. Полиномиальные разложения булевых функций по образам неоднородных операторов / С.Ф.Винокуров,Н.А.Перязев, 1998. - 24 с. - Текст : непосредственный.Перязев Н.А. Слабоповторные булевы функции в бинарном базисе / Н.А.Перязев, 1998. - 12 с. - Текст : непосредственный.Власов В.Н. Конструктивизируемость булевых алгебр элементарной характеристики (1,0,1) / В.Н.Власов, 1998. - 40 с. - Текст : непосредственный.Romanski S. Algorytm wyszukiwania minimalnych punktow monotonicznej funkcji boolowskiej i jego zastosowania / S.Romanski, 1991. - 100 s. - Текст : непосредственный.Шевелев, Ю. П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный.
Показать все результатыМаслова, Ирина Игоревна. О классах сверхфункций на двухэлементном множестве / И. И. Маслова, 2020. - 29 с. - Текст (визуальный) : непосредственный.Баротов, Достонжон Нумонжонович. О неравенствах между выпуклыми вогнутыми и полилинейными продолжениями булевых функций / Д. Н. Баротов, В. А. Судаков, 2024. - 13 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Трифонова, Екатерина Евгеньевна. О возможности построения произвольной пятеричной дроби с помощью индуцированных вероятностных функций / Е. Е. Трифонова, 2025. - 40 с. - Текст (визуальный) : непосредственный.
Заказ фрагмента документа ₽