Базовые понятия и конструкции систем управления дискретной автоматики
Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
Подобные документы
Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
реферат, добавлен 28.11.2016Исследование основных особенностей позиционных и непозиционных систем счисления. Перевод целых десятичных чисел в недесятичную систему счисления. Характеристика операций сложения, вычитания и умножения многозначных чисел в различных системах счисления.
реферат, добавлен 30.11.2016Модификация модели вычислений, представляющей собой незавершенный метод ветвей и границ. Разработка подхода к формированию метрик на множестве подзадач в различных задачах дискретной оптимизации. Алгоритм кластеризации ситуаций в задачах оптимизации.
автореферат, добавлен 22.07.2018- 54. Алгебра логики
Логика – наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений. Джордж Буль - создатель алгебры логики. Основные логические связки. Таблица истинности. Выполнимость формул.
презентация, добавлен 05.03.2012 Основание теории порядковых чисел на системе аксиом Пеано. Возможности системы счисления по реализации функции следования. Повышение эффективности счета в позиционных системах счисления. Особенности разработки фибоначчиевых систем счисления А. Стаховым.
статья, добавлен 13.01.2020Обычные логические операции. Отрицание квантора общности и квантора существования. Свободная, кванторная и связанная переменные, двойственные кванторы. Формулы логики предикатов, равносильность формул. Выражение суждения в виде формулы логики предикатов.
презентация, добавлен 17.04.2013Историческое развитие и сущность непозиционных систем счисления. Появление первых чисел и цифр на территории Египта. Понятие разрядности чисел, принципы применения древнегреческой и древнеримской нумерации. Правила основных мировых систем счисления.
презентация, добавлен 09.11.2015Понятие системы счисления как совокупности правил и приемов записи чисел с помощью набора цифровых знаков. Основные типы систем счисления: позиционные и непозиционные. Запись чисел в римской системе счисления. Математические свойства "золотой пропорции".
реферат, добавлен 08.10.2010Система счисления как способ наименования и обозначения чисел. Позиционные (десятичная, двоичная, восьмеричная, шестнадцатеричная) и непозиционная (римская) системы счисления. Порядок перевода чисел из одних систем счисления в другие, основание системы.
практическая работа, добавлен 17.12.2015Определение и направления исследования алгебры путей на связных графах. Описание их свойств и центральных элементов тел, частных для случая, когда граф является полным неориентированным графом без петель. Формулирование теорем и их доказательство.
статья, добавлен 31.05.2013Анализ парирования отказов комбинационных схем, реализующих конфигурируемые логические блоки программируемых логических интегральных схем типа FPGA в функционально-полном толерантном базисе. Реконфигурация логики системы с целью ее восстановления.
статья, добавлен 26.04.2019- 62. Алгебра октав
Определение понятия системы аксиом алгебры октав; ее непротиворечивость и категоричность. Изучение понятия и свойств сопряженных октав. Рассмотрение основных тождеств, применяемых к октавам. Формулирование и доказательство теорем Гурвица и Фробениуса.
дипломная работа, добавлен 05.05.2012 Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015Применение закона распределения дискретной случайной величины. Соответствие между возможными значениями и их вероятностями. Функция распределения вероятностей случайной величины. Плотность распределения вероятностей дискретной случайной величины.
реферат, добавлен 15.06.2014Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015История возникновения систем счисления. Арифметические действия над десятичными числами. Порядок определения значения цифр в вавилонской цивилизации. Древнеегипетская десятичная непозиционная система. Современная классификация операций счисления.
реферат, добавлен 20.04.2014Теория графов как один из разделов дискретной математики, исследующий свойства конечных множеств с заданными отношениями между их элементами. Методика решения задач календарно-сетевого планирования и управления. Сущность алгоритма Форда-Фалкерсона.
лабораторная работа, добавлен 28.05.2015Суть основного правила комбинаторики. Анализ булевой алгебры характеристических векторов и высказываний. Особенность дизъюнктивных и конъюнктивных нормальных форм. Функционально-полные системы функций. Главные параметры поиска многочлена Жегалкина.
курс лекций, добавлен 08.02.2015Основные положения алгебры логики и синтез логических функций. Давние традиции преподавания логики в русской школе. Минимизация полностью определённых и недоопределенных булевых функций. Карта Карно и законы суждений. Силлогистика и графический синтез.
статья, добавлен 27.04.2011Оценка устойчивости дискретной системы с непрерывным регулятором. Разработка регулятора для устойчивости системы. Оценка силы, действующей на грузы, подвешенные на пружинах. Нахождение передаточной функции объекта и функции регулятора 3-го порядка.
практическая работа, добавлен 16.10.2017Определение кратчайших путей от вершины до остальных вершин графа, используя алгоритмы Дейкстры и Беллмана. Определение кратчайших путей между всеми парами вершин графа с применением алгоритма Флойда. Программирование алгоритма дискретной математики.
курсовая работа, добавлен 12.11.2017Криптография как один из наиболее распространённых способов защиты информации. Шифрование данных - технология, в которой используется множество инструментов из теории чисел, абстрактной и линейной алгебры. Алгоритм подбора пароля методом брутфорса.
статья, добавлен 24.02.2019Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.
реферат, добавлен 21.10.2012Основные понятия матрицы и ее определителей. Использование теорем замещения и аннулирования в доказательстве свойств определителей. Алгебраическое дополнение и минор элемента. Операции вычисления между элементами строк и столбцов квадратной матрицы.
лекция, добавлен 29.09.2013Основные понятия теории графов и ее приложения к исследованию линейных систем, задачам минимизации, а также сетевого планирования. Приведение примеров решения задач различной сложности с подробными объяснениями. Задачи для самостоятельной работы.
методичка, добавлен 18.06.2013