Применение системы Sage для поиска алгебраической иммунности булевых функций и отображений

Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.

Подобные документы

  • Понятие и характерные свойства функционально полных систем булевых функций как совокупности таких функций (f1, f2,… fk), что произвольная булева функция f может быть записана в виде формулы через функции этой совокупности. Принцип ее двойственности.

    реферат, добавлен 30.11.2014

  • Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.

    лекция, добавлен 15.11.2017

  • Представление булевых функций в совершенной дизъюнктивной нормальной форме. Многоступенчатое склеивание. Минимизация булевых функций. Карта Карно-Вейча для четырех переменных. Метод Квайна и Мак-Класки. Диаграммы Вейча, метод неопределенных коэффициентов.

    курсовая работа, добавлен 22.06.2011

  • Понятие существенной и фиктивной переменной простых булевых функции функций. Суперпозиции и теория множеств. Нормальные формы и полиномы. Определение и характеристика классов Поста. Минимизация нормальных форм всюду определённых булевых функций.

    курсовая работа, добавлен 05.12.2012

  • Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.

    контрольная работа, добавлен 22.10.2013

  • Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.

    учебное пособие, добавлен 08.02.2015

  • Изучение направлений при проектировании дискретных преобразователей. Исследование булевых функций от четырех аргументов, их минимизация и оценка сложности. Решение задач, построение библиотеки близких формул для булевых функций от четырех аргументов.

    статья, добавлен 28.01.2019

  • Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.

    курс лекций, добавлен 18.03.2010

  • Построение таблицы истинности. СДНФ и СКНФ. Применение метод Квайна - Мак-Класки и метод Петрика, карт Карно. Факторизация и декомпозиция. Использование методов минимизации булевых функций с дальнейшим построением комбинационных схем на их основе.

    курсовая работа, добавлен 03.01.2022

  • В статье рассматриваются существующие способы математического описания и представления в ЭВМ алгоритмов операций преобразования данных. Проводится краткий анализ известных форм представления систем булевых функций с учётом используемых средств реализации.

    статья, добавлен 07.03.2019

  • Основные понятия алгебры логики. Операции булевой алгебры. Построение таблиц истинности и булевых выражений. Законы и соотношения булевой алгебры. Преобразование и упрощение булевых выражений методами непосредственных преобразований и карт Карно.

    курсовая работа, добавлен 26.06.2014

  • Связь корреляционно-иммунных булевых функций с кодами и ортогональными массивами. Линейные и квазилинейные переменные. Оптимизация неравенства Зигенталера для каждой отдельной переменной. Теорема для регулярных функций типа теоремы Симона-Вегенера.

    научная работа, добавлен 15.09.2012

  • Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.

    методичка, добавлен 28.06.2013

  • Основные положения алгебры логики и синтез логических функций. Давние традиции преподавания логики в русской школе. Минимизация полностью определённых и недоопределенных булевых функций. Карта Карно и законы суждений. Силлогистика и графический синтез.

    статья, добавлен 27.04.2011

  • Программные способы получения последовательностей большого периода. Анализ преимуществ и недостатков мультипликативного генератора Фибоначчи. Использование компьютерной алгебры Sage для случайной генерации комбинаций квадратных матриц с конечными полями.

    статья, добавлен 14.08.2022

  • Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.

    реферат, добавлен 14.07.2008

  • Свойства системы тригонометрических функций. Ортогональность функций на отрезке. Нахождение интеграла по отрезку от произведения любых двух функций системы. Проведение проверки свойств для всех функций системы. Определение подынтегральной функции.

    презентация, добавлен 18.09.2013

  • Конъюнкция двух булевых переменных. Литерал как любая формула вида x, где x — произвольная переменная. Минимизация системы функций. Поиск простых импликантов исходной системы. Построение матрицы покрытия и ее сокращение. Дизъюнктивная нормальная форма.

    реферат, добавлен 21.06.2014

  • Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.

    реферат, добавлен 18.06.2015

  • Построение таблицы поведения автомата и графа, принципы кодирования данных. Нахождение системы булевых функций для возбуждения Т-триггеров, реализующих различные функции. Порядок и правила составления логической схемы заданного автомата, ее компоненты.

    курсовая работа, добавлен 10.06.2015

  • Основы теории множеств, переключательных функций, комбинаторного анализа и теории графов. Диаграммы Эйлера, операции над множествами. Бинарные отношения и отображения. Свойства элементарных булевых функций. Основные понятия и определения комбинаторики.

    учебное пособие, добавлен 11.10.2014

  • Класс булевых функций. Определение числа самодвойственных функций. Множество всех наборов длины по отношению к операции предшествования. Теорема о функциональной полноте. Понятия многозначной логики. Дистрибутивность операции max относительно min.

    лекция, добавлен 18.10.2013

  • Составление таблицы истинности. Замена симметричных переменных с использованием элементарных симметричных функций. Анализ целесообразности совместной реализации системы функций. Раздельная минимизация и декомпозиция системы функций алгебры логики.

    контрольная работа, добавлен 01.01.2013

  • Обучение учащихся и студентов отысканию производной сложной функции. Правила вычисления производных алгебраической суммы функций, произведения и частного функций. Упражнения на применение изученных формул и правил. Дифференцирование сложной функции.

    статья, добавлен 18.02.2020

  • Ввод простейших команд в Maxima. Решение задач элементарной математики и линейной алгебры. Программирование в Maxima на встроенном макроязыке. Построение графиков функций. Вычисление пределов и производных функции. Функции для работы с матрицами.

    курсовая работа, добавлен 14.05.2014

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.