Модулярные числовые формы систем логических функций
Технические аспекты реализации. Операции криптографических алгоритмов. Вычислительная мощность числовых процессоров по количеству выполняемых элементарных логических операций. Теория реализации модулярных вычислений. Формульный метод получения МОЧНФ.
| Рубрика | Математика |
| Предмет | Математика |
| Вид | презентация |
| Язык | русский |
| Прислал(а) | Олег |
| Дата добавления | 10.08.2013 |
| Размер файла | 307,9 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.
курсовая работа [1,0 M], добавлен 27.04.2013Основная функционально полная система логических функций. Законы алгебры логики в основной функционально полной системе и их следствия. Переместительный и распределительный законы. Закон инверсии (правило Де Моргана). Системы логических функций.
реферат [40,5 K], добавлен 17.11.2008Свойства алгебры Жегалкина. Действия с логическими константами (нулём и единицей). Свойства элементарных булевых функций, задаваемых логическими операциями. Способы построения полиномов с помощью таблиц истинности (метод неопределенных коэффициентов).
курсовая работа [467,2 K], добавлен 28.11.2014Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат [63,3 K], добавлен 06.12.2010Элементы алгебры, логические операции над высказываниями. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез релейно-контактных схем. Логические следствия и формы.
дипломная работа [295,2 K], добавлен 11.12.2010Сокращенные, тупиковые дизъюнктивные нормальные формы. Полные системы булевых функций. Алгоритм Квайна, Мак-Класки минимизации булевой функции. Геометрическое представление логических функций. Геометрический метод минимизации булевых функций. Карты Карно.
курсовая работа [278,1 K], добавлен 21.02.2009Сущность двоичной, восьмеричной и шестнадцатиричной систем счисления, их отличительные черты и взаимосвязь. Пример алгоритмов перевода чисел из одной системы в другую. Составление таблицы истинности и логической схемы для заданных логических функций.
презентация [128,9 K], добавлен 12.01.2014Вопросы сводимости функций. Символы логических операций: отрицания, конъюнкции, дизъюнкции, импликации. Кванторы общности и существования. Минимальные элементы верхней полурешетки m-степеней. Идеалы полурешетки m-степеней частично рекурсивных функций.
контрольная работа [120,5 K], добавлен 06.05.2009Решение задач вычислительными методами. Решение нелинейных уравнений, систем линейных алгебраических уравнений (метод исключения Гаусса, простой итерации Якоби, метод Зейделя). Приближение функций. Численное интегрирование функций одной переменной.
учебное пособие [581,1 K], добавлен 08.02.2010Понятие нечеткого множества и свойства его элементов. Определение логических операций: отрицания, конъюнкции, дизъюнкции. Основные этапы нечеткого вывода, метод центра тяжести. Оценка состояния повреждения объекта на основе теории нечетких множеств.
курсовая работа [316,8 K], добавлен 22.07.2011
