Синтез логического автомата
Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
Подобные документы
Примеры изучение дробных и многозначных чисел путем ребусов и головоломок. Основные принципы получения трехзначных чисел, путем шестикратного сложения. Математические задачи, направленные на развитие логического мышления и быстрого усваивания материала.
презентация, добавлен 04.02.2011Основные определения конечного автомата Мили, его специальные классы. Группы и полугруппы, определенные обратимым автоматом без ветвлений. Преобразования, определенные обратимым медленным автоматом конечного типа. Функции перехода без предельного цикла.
дипломная работа, добавлен 10.06.2011Сущность и математическое обоснование булевой функции, ее назначение и пути решения. Порядок составления таблицы истинности для определенного количества переменных. Связь всех дизъюнкций в конъюнкцию. Разработка и листинг программы представления.
курсовая работа, добавлен 27.04.2011Уравнения параболического типа. Разностные схемы для уравнения теплопроводности, задача Коши. Явная и неявная разностные схемы. Применение двухслойных разностных шаблонов. Устойчивость двухслойных разностных схем. Решение задач методом прогонки.
лекция, добавлен 28.06.2009Изучение основ линейных алгебраических уравнений. Нахождение решения систем данных уравнений методом Гаусса с выбором ведущего элемента в строке, в столбце и в матрице. Выведение исходной матрицы. Основные правила применения метода факторизации.
лабораторная работа, добавлен 28.10.2014Логическая переменная в алгебре логики. Логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Основные законы алгебры логики. Правила минимизации логической функции (избавление от операций импликации и эквивалентности).
курсовая работа, добавлен 16.01.2012Предмет и методы изучения дифференциальной векторно-матричной алгебры, ее структура. Векторное решение однородных и неоднородных дифференциальных уравнений. Численное решение векторно-матричных уравнений. Формулы построения вычислительных процедур.
реферат, добавлен 15.08.2009Элементы линейной алгебры. Элементы аналитической геометрии и векторной алгебры. Введение в математический анализ. Дифференциальное исчисление функций одной переменной. Дифференциальное исчисление функций нескольких независимых переменных. Интеграл.
методичка, добавлен 02.11.2008Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа, добавлен 28.05.2015Особенности применения функций Ляпунова для исследования устойчивости различных дифференциальных уравнений и систем. Алгоритм и листинг программы определения устойчивости матрицы на основе использования метода Раусса-Гурвица в среде моделирования Matlab.
реферат, добавлен 23.10.2014Общая характеристика параболических дифференциальных уравнений на примере уравнения теплопроводности. Основные определения и конечно-разностные схемы. Решение дифференциальных уравнений параболического типа методом сеток или методом конечных разностей.
контрольная работа, добавлен 27.04.2011Появление понятия функций Ляпунова. Развитие теории устойчивости движения. Применение функций Ляпунова к исследованию продолжимости решений дифференциальных уравнений. Методы построения функций Ляпунова, продолжимость решений уравнений третьего порядка.
дипломная работа, добавлен 29.01.2010- 63. Математика
Практическое решение задач по математике: систем неравенств, определяющих множество внутренних точек треугольника; уравнений параболы и ее директрисы; функций, заданных различными аналитическими выражениями для различных областей изменения переменной.
контрольная работа, добавлен 05.06.2008 Задачи вычислительной линейной алгебры. Математическое моделирование разнообразных процессов. Решение систем линейных алгебраических уравнений большой размерности. Метод обратной матрицы и метод Гаусса. Критерии совместности и определенности системы.
курсовая работа, добавлен 21.10.2011Анализ методов решения систем дифференциальных уравнений, которыми можно описать поведение материальных точек в силовом поле, законы химической кинетики, уравнения электрических цепей. Этапы решения задачи Коши для системы дифференциальных уравнений.
курсовая работа, добавлен 12.06.2010Оценка алгебры Ли как одного из классических объектов современной математики. Основные определения и особенности ассоциативной алгебры. Нильпотентные алгебры Ли, эквивалентность различных определений нильпотентности. Описание алгебр Ли малых размерностей.
курсовая работа, добавлен 13.12.2011Решение системы трех уравнений с тремя неизвестными при помощи определителей. Исследование системы на совместность, составление канонического уравнения эллипса. Изучение функции методами дифференциального исчисления, поиск точки разрыва функции.
контрольная работа, добавлен 16.04.2010Теоретические основы аналитической геометрии, линейной алгебры и задач оптимизации. Общая характеристика плоскости и основных поверхностей второго порядка. Особенности решения систем линейных уравнений с использованием меню "Мастер функций" MS Excel.
методичка, добавлен 05.07.2010Составление структурной схемы дискретной системы по разностному уравнению. Частотный коэффициент передачи. Методы вычисления обратного Z-преобразования. Определение системной функции рекурсивного фильтра второго порядка с применением теоремы о вычетах.
презентация, добавлен 19.08.2013Характеристика способов решения систем линейных алгебраических уравнений (СЛАУ). Описание проведения вычислений на компьютере методом Гаусса, методом квадратного корня, LU–методом. Реализация метода вращений средствами системы программирования Delphi.
курсовая работа, добавлен 04.05.2014Определение формулы исчисления высказываний, основные цели математической логики. Построение формул алгебры высказываний. Равносильность формул исчисления высказываний, конъюнктивная и дизъюнктивная нормальная форма. Постановка проблемы разрешимости.
контрольная работа, добавлен 12.08.2010Вычисление общего решения дифференциальных уравнений первого порядка с разделяющимися переменными. Расчет определенного интеграла с точностью до 0,001. Определение вероятности заданных событий, математического ожидания и дисперсии случайной величины.
контрольная работа, добавлен 21.10.2012Параллельные методы решения систем линейных уравнений с ленточными матрицами. Метод "встречной прогонки". Реализация метода циклической редукции. Применение метода Гаусса к системам с пятидиагональной матрицей. Результаты численного эксперимента.
курсовая работа, добавлен 21.10.2013Математическое объяснение метода Эйлера, исправленный и модифицированный методы. Блок-схемы алгоритмов, описание, текст и результаты работы программы. Решение обыкновенных дифференциальных (нелинейных) уравнений первого порядка с начальными данными.
курсовая работа, добавлен 12.06.2010Изучение булевых функций. Алгоритм представления булевых функций в виде полинома Жегалкина. Система функций множества. Алгебраические преобразования, метод неопределенных коэффициентов. Таблица истинности для определенного количества переменных.
курсовая работа, добавлен 27.04.2011