Приложение
для AndroidПолное описание
Стрыгин, В. З. Классы булевых функций, имеющих полиномиальные алгоритмы минимизации / В.З.Стрыгин. - М. : [б. и.], 1990. - 77 с. : ил. - (Препринт / Центральный аэрогидродинамический ин-т им.Н.Е.Жуковского(Москва) ; 3). - 327 экз. - Текст : непосредственный.
Библиогр.: с. 76-77 (13 назв.)
| ГРНТИ | УДК | |
| 27.17.21 | 512.563(04) |
Рубрики:
Алгебра логики
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/48533/3)
Шифр в сводном ЭК: d23ce897f9747d55c1d1cfdc338fc317
Стрыгин В.З. Полиномиальные алгоритмы решения задачи коммивояжёра, заданной булевыми функциями типа тонкая цепь / В. З. Стрыгин, 2017. - 11 с. - Текст : непосредственный.Стрыгин В.З. Матричная логика второй ступени / В. З. Стрыгин, 2017. - 11 с. - Текст : непосредственный.Стрыгин В.З. Теория чисел / В. З. Стрыгин, 2018. - 45 с. - Текст : непосредственный.Стрыгин В.З. Алгебра / В. З. Стрыгин, 2018. - 51 с. - Текст : непосредственный.Стрыгин В.З. Теория алгоритмов / В. З. Стрыгин, 2018. - 42 с. - Текст : непосредственный.Стрыгин В.З. Теория моделей / В. З. Стрыгин, 2018. - 50 с. - Текст : непосредственный.Стрыгин В.З. Теория нумераций / В. З. Стрыгин, 2018. - 43 с. - Текст : непосредственный.Стрыгин В.З. Аксиомы матричной логики / В. З. Стрыгин, 2011. - 11 с. - Текст : непосредственный.Стрыгин В.З. Решение трудных задач теории чисел, алгебры и логики / В. З. Стрыгин, 2006. - 34 с. - Текст : непосредственный.Стрыгин В.З. Эмпирические распределения простых чисел, близнецов, псевдоблизнецов и чисел Мерсенна в натуральном ряде / В.З. Стрыгин, 2004. - 4 с. - Текст : непосредственный.Стрыгин В.З. Решение трех проблем Гольдбаха-Эйлера / В.З. Стрыгин, 2004. - 3 с. - Текст : непосредственный.Стрыгин В.З. Эмпирическое решение трудных задач теории чисел / В.З. Стрыгин, 2005. - 18 с. - Текст : непосредственный.Стрыгин В.З. Эмпирическое решение проблемы n-мерного шара для n-3,4,5 / В. З. Стрыгин, 2006. - 4 с. - Текст : непосредственный.Стрыгин В.З. Разрешимость нерекурсивных множеств натуральных чисел и проблемы n-мерного шара для n-6,7 / В. З. Стрыгин, 2007. - 4 с. - Текст : непосредственный.Стрыгин В.З. Аксиомы матричной логики / В. З. Стрыгин, 2018. - 14 с. - Текст : непосредственный.Стрыгин В.З. Физическая математика / В. З. Стрыгин, 2018. - 38 с. - Текст : непосредственный.Стрыгин В.З. Матричная логика и комбинаторные машины / В.З.Стрыгин, 1998. - 19 с. - Текст : непосредственный.Стрыгин В.З. Разрешимость проблемы представимости матриц / В. З. Стрыгин, 2007. - 6 с. - Текст : непосредственный.Стрыгин В.З. Шахматы / В. З. Стрыгин, 2014. - 11 с. - Текст : непосредственный.Стрыгин В.З. Теория погрешностей / В. З. Стрыгин, 2018. - 43 с. - Текст : непосредственный.
Показать все результатыМайоров А.И. О погрешности исследования нестационарных тепловых потоков по методу дифференцирования / А. И. Майоров, 1991. - 11 с. - Текст : непосредственный.Майоров А.И. Математические основы обработки термоиндикаторных измерений с учетом растекания тепла / А. И. Майоров, 1991. - 12 с. - Текст : непосредственный.Бетяев С.К. Десять нерешенных задач гидродинамики. 8 / С. К. Бетяев, 1993. - 18 с. - Текст : непосредственный.Бетяев С.К. Десять нерешенных задач гидродинамики. 7 / С. К. Бетяев, 1993. - 38 с. - Текст : непосредственный.Жаров В.А. Феноменологический анализ взаимодействия внешнего турбулентного потока с турбулентным пограничным слоем на пластине. Длинноволновая асимптотика собственных решений уравнения Релея на выпуклом профиле погранслойного типа, фазовая скорость которых близка к скорости набегающего потока / В. А. Жаров, 1993. - 32 с. - Текст : непосредственный.Бетяев С.К. Десять нерешенных задач гидродинамики, 6 / С. К. Бетяев, 1992. - 32 с. - Текст : непосредственный.Гринац Э.С. Моделирование воздействия вихрей на струи самолета и хемосорбции окислов азота каплями воды / Э. С. Гринац, А. Л. Стасенко, 1992. - 18 с. - Текст : непосредственный.Численное моделирование сверхзвукового горения водорода / О. М. Колесников, И. Г. Макаров, Е. А. Мещеряков, В. А. Сабельников, 1992. - 83 с. - Текст : непосредственный.Захаренков М.Н. Моделирование несущих свойств профиля в потоке вязкой жидкости / М. Н. Захаренков, 1993. - 27 с. - Текст : непосредственный.Андреев В.В. К вопросу об интеграции ГПВРД с летательным аппаратом / В. В. Андреев, В. И. Пензин, 1992. - 27 с. - Текст : непосредственный.Савин И.В. Расчет обтекания гипотетического гиперзвукового летательного аппарата (ГЛА) с затупленной носовой частью / И. В. Савин, Н. А. Циркова, 1992. - 49 с. - Текст : непосредственный.Селюгин С.В. Исследование свойств оптимальных физически нелинейных ферм, находящихся в условиях нескольких нагружений / С. В. Селюгин, 1995. - 28 c. - Текст : непосредственный.Селюгин С.В. Разработка и исследование алгоритмов оптимизации конструкций-мембран из упрочняющихся упругопластических материалов / С. В. Селюгин, 1993. - 45 c. - Текст : непосредственный.Баженов С.Г. Динамика цифровых резервированных асинхронных многотактных систем управления самолетов / С. Г. Баженов, Ю. Ф. Шелюхин, 1997. - 69 с. - Текст : непосредственный.Погребная Т.В. Расчет аэродинамических и аэроакустических характеристик воздушных винтов / Т. В. Погребная, С. Д. Шипилов, 1997. - 19 с. - Текст : непосредственный.Сухов Владимир Николаевич, 1997. - 37 с. - Текст : непосредственный.Кучеров А.Н. Laser beam evaporation of ice plate aerosol particle / А. Н. Кучеров, 1998. - 20 p. - Текст : непосредственный.Мещеряков Е.А. Численное моделирование сверхзвуковых турбулентных течений и смешения в каналах ГПВРД на основе уравнений Навье-Стокса / Е. А. Мещеряков, Н. А. Циркова, 1994. - 100 c. - Текст : непосредственный.Кучеров А.Н. Основные закономерности теплового запирания цилиндрического массового вихреисточника (вихрестока) / А. Н. Кучеров, 2010. - 40 с. - Текст : непосредственный.Множественный гистерезис нестационарных аэродинамических характеристик моделей при малых числах Рейнольдса, 1998. - 237 с. - Текст : непосредственный.
Показать все результатыТруды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный.Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Семенова М.В. Разложения в полных решетках / М. В. Семенова, 2000. - 23 с. - Текст : непосредственный.Маренич Е.Е. Системы линейных уравнений над решетками / Е. Е. Маренич, В. Е. Маренич, 2007. - 122 с. - Текст : непосредственный.Егоров И.П. О математических структурах / И. П. Егоров, 2016. - 64 с. - Текст : непосредственный.Запатрин Р.Р. Полугрупповая координатизация решеток : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Р. Р. Запатрин, 1999. - 7 с. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Семигродских А.П. Решетки замкнутых классов функций на бесконечном множестве : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Семигродских, 2003. - 16 с. - Текст : непосредственный.Ермолаева Н.Н. Практические занятия по алгебре. Элементы теории множеств, теории чисел, комбинаторики. Алгебраические структуры : выставочные материалы / Н. Н. Ермолаева, В. А. Козынченко, Г. И. Курбатова, 2014. - 111 с. - Текст : непосредственный.Упорядоченные множества и решетки : Межвуз.сб.науч.тр. Вып. 10, 1991. - 125 с. - Текст : непосредственный.Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный.Measures on Projections and Orthomodular Posets : сборник научных трудов, 1998. - 114 p. - Текст : непосредственный.Лапшин А.Б. Дискретная математика и математическая логика : Учеб. пособие. Ч. 2 : Элементы алгебры логики, 2004. - 32 с. - Текст : непосредственный.Перязев Н.А. Основы теории булевых функций / Н. А. Перязев, 1999. - 110 с. - Текст : непосредственный.Шаранхаев И.К. Слабоповторные булевы функции в предэлементарных базисах : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / И. К. Шаранхаев, 2003. - 11 с. - Текст : непосредственный.Семенова М.В. К теории полудистрибутивных решеток : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. В. Семенова, 2000. - 16 с. - Текст : непосредственный.Гуров С.И. Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры / С. И. Гуров, 2013. - 349 с. - Текст : непосредственный.
Показать все результатыКалинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный.Лапшин А.Б. Дискретная математика и математическая логика : Учеб. пособие. Ч. 2 : Элементы алгебры логики, 2004. - 32 с. - Текст : непосредственный.Перязев Н.А. Основы теории булевых функций / Н. А. Перязев, 1999. - 110 с. - Текст : непосредственный.Зуев Ю.А. По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т. 1 : Основные структуры. Методы перечисления. Булевы функции., 2017. - 273 с. - Текст : непосредственный.Гуров С.И. Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры / С. И. Гуров, 2013. - 349 с. - Текст : непосредственный.Ахметова Н.А. Дискретная математика. Функции алгебры логики / Н. А. Ахметова, З. М. Усманова, 2000. - 143 с. - Текст : непосредственный.Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин, 1991. - 446 с. - Текст : непосредственный.Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный.Kranakis E. Computing boolean functions on Cayley networks (Extended abstract) / E. Kranakis, D. Krizanc, 1990. - 18 p. - Текст : непосредственный.Яновская С.А. Лекции по алгебре логики / С. А. Яновская ; Сост.: Б. В. Бирюков, З. А. Кузичева, 2015. - 257 с. - Текст : непосредственный.Steinbach B. Logic functions and equations / B. Steinbach, C. Posthoff, 2009 r=on-line. - Текст : электронный.Подловченко Р.И. Эквивалентные преобразования в математических моделях вычислений : выставочные материалы / Р. И. Подловченко, 2011. - 72 с. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения / Л. И. Волгин, 1995. - 38 c. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.
Липачева Е.В. Группы рекурсивных автоморфизмов и полугруппы частичных автоморфизмов булевых алгебр / Е.В.Липачева, 1996. - 37 с. - Текст : непосредственный.Власов В.Н. Конструктивизируемость булевых алгебр элементарной характеристики (1,0,1) / В.Н.Власов, 1998. - 40 с. - Текст : непосредственный.Гороховская Н.Г. О понятии "быть свободной алгеброй" в HF-логике / Н.Г.Гороховская,В.Н.Ремесленников, 1995. - 21 c. - Текст : непосредственный.Алаев П.Е. Сложные булевы алгебры с малым рангом / П.Е.Алаев, 1998. - 12 с. - Текст : непосредственный.Стрыгин В.З. Классы булевых функций, имеющих полиномиальные алгоритмы минимизации / В.З.Стрыгин, 1990. - 77 с. - Текст : непосредственный.Пальчунов Д.Е. Алгебра Линденбаума-Тарского булевых алгебр с выделенными идеалами / Д.Е.Пальчунов, 1994. - 42 c. - Текст : непосредственный.Стрыгин В.З. Полиноминальный алгоритм минимизации случайных ("почти всех") булевых функций / В.З.Стрыгин, 1992. - Текст : непосредственный.Подзоров С.Ю. Однородные булевы алгебры с рекурсивным представлением / С.Ю.Подзоров, 1999. - 12 с. - Текст : непосредственный.Разработка на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статистическое исследование / О.М.Москаленко,И.В.Петров,М.И.Тельпиз,В.И.Шевченко, 1990. - 35 с. - Текст : непосредственный.Гороховская Н.Г. Об определимости понятия "быть свободной алгеброй" в бесконечных логиках / Н.Г.Гороховская, 1996. - 21 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽