О корреляционно-иммунных и устойчивых булевых функциях
Связь корреляционно-иммунных булевых функций с кодами и ортогональными массивами. Линейные и квазилинейные переменные. Оптимизация неравенства Зигенталера для каждой отдельной переменной. Теорема для регулярных функций типа теоремы Симона-Вегенера.
Подобные документы
Представление булевых функций в совершенной дизъюнктивной нормальной форме. Многоступенчатое склеивание. Минимизация булевых функций. Карта Карно-Вейча для четырех переменных. Метод Квайна и Мак-Класки. Диаграммы Вейча, метод неопределенных коэффициентов.
курсовая работа, добавлен 22.06.2011Изучение направлений при проектировании дискретных преобразователей. Исследование булевых функций от четырех аргументов, их минимизация и оценка сложности. Решение задач, построение библиотеки близких формул для булевых функций от четырех аргументов.
статья, добавлен 28.01.2019Понятие и характерные свойства функционально полных систем булевых функций как совокупности таких функций (f1, f2,… fk), что произвольная булева функция f может быть записана в виде формулы через функции этой совокупности. Принцип ее двойственности.
реферат, добавлен 30.11.2014В статье рассматриваются существующие способы математического описания и представления в ЭВМ алгоритмов операций преобразования данных. Проводится краткий анализ известных форм представления систем булевых функций с учётом используемых средств реализации.
статья, добавлен 07.03.2019Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.
курс лекций, добавлен 18.03.2010Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.
контрольная работа, добавлен 22.10.2013Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.
статья, добавлен 02.04.2019Задание булевых функций от переменных с помощью таблицы истинности, определение формулы, виды важнейших равносильностей (законов) алгебры логики. Равносильные формулы, законы равносильности, логические уравнения. Разложение булевых функций по переменным.
лабораторная работа, добавлен 09.08.2010Построение таблицы истинности. СДНФ и СКНФ. Применение метод Квайна - Мак-Класки и метод Петрика, карт Карно. Факторизация и декомпозиция. Использование методов минимизации булевых функций с дальнейшим построением комбинационных схем на их основе.
курсовая работа, добавлен 03.01.2022- 10. Замкнутые классы
Класс булевых функций. Определение числа самодвойственных функций. Множество всех наборов длины по отношению к операции предшествования. Теорема о функциональной полноте. Понятия многозначной логики. Дистрибутивность операции max относительно min.
лекция, добавлен 18.10.2013 Основные свойства неравенства Юнга, Гельдера и Минковского. Изучение теоремы Рериха, собственных значений и функций оператора Лапласа. Обобщенные решения краевых задач для уравнения Пуассона. Банаховы, метрические и линейные топологические пространства.
книга, добавлен 19.05.2011Обобщение теоремы искажения в классе S. Неравенства, дающие точные границы для модуля производных функций на любой окружности, лежащей в круге. Свойства однолистных в единичном круге функций, которые геометрически характеризуют конформные отображения.
статья, добавлен 31.05.2013- 13. Вложение классов функций, интегрируемых с весом на отрезке и удовлетворяющих условия типа Липшица
Особенность обобщения теоремы о вложении Харди-Литтлвуда для некоторых классов функций, интегрируемых с весом на отрезке. Применение для внутреннего интеграла неравенства Гельдера. Введение средних непрерывных из-за непрерывности интегрирования Лебега.
статья, добавлен 30.10.2016 - 14. Исследование наилучших приближений непрерывных периодических функций тригонометрическими полиномами
Наилучшие приближения непрерывных периодических функций тригонометрическими полиномами и их исследование. Обобщение теоремы Джексона и обобщение известного неравенства С.Н. Бернштейна для производных от тригонометрического полинома. "Обратные теоремы".
дипломная работа, добавлен 22.04.2011 Исследование функций при помощи производных и построение графиков. Необходимые и достаточные условия возрастания и убывания функции. Теорема и ее доказательство. Применение теоремы для убывающих функций. Подробное объяснение и решение задач.
лекция, добавлен 05.03.2009Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013Введение понятия урчуктных (разрывных) функций в дифференциальное исчисление. Нули разрывной функции. Совокупность разрывных функций. Касательные с угловыми коэффициентами. Классическая теорема Ролля. Расчет производной по классической теореме Ферма.
статья, добавлен 20.05.2018Подходы к определению алгоритма и их эквивалентность. Основные понятия булевых функций, декартово произведение и степень произвольного множества. Теорема о совершенной ДНФ. Виды логических и формальных исчислений. Характеристика предикат и квантор.
контрольная работа, добавлен 22.02.2010Характеристика теоремы Фока-Куни для обобщения аналитических функций. Описание математических методов получения аналога теоремы Фока-Куни в круге. Анализ критерия разрешимости задачи аналитического продолжения. Характеристика интеграла типа Коши.
статья, добавлен 26.05.2018Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017Основы теории множеств, переключательных функций, комбинаторного анализа и теории графов. Диаграммы Эйлера, операции над множествами. Бинарные отношения и отображения. Свойства элементарных булевых функций. Основные понятия и определения комбинаторики.
учебное пособие, добавлен 11.10.2014Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.
методичка, добавлен 28.06.2013Связь между понятиями аналитических и гармонических функций. Отличия отличной от постоянной гармонической функции, что не может достигать экстремума во внутренней точке области определения. Граничная теорема единственности теории аналитических функций.
курсовая работа, добавлен 14.06.2023Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015Аналитическая и дифференциальная геометрия. Исследования Гаусса по неевклидовой геометрии. Обобщения теоремы Эйлера о многогранниках. Развитие концепции комплексного числа. Последовательности и ряды аналитических функций. Интегральная теорема Коши.
книга, добавлен 25.11.2013