Синтез логического автомата
Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
Подобные документы
- 101. Логика на словах
Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
курсовая работа, добавлен 26.03.2012 - 102. Дискретный анализ
Классическая задача комбинаторики, ее решение "правилом произведения". Реализация реальных связей между объектами в математических терминах на абстрактных множествах. Решение задач на доказательство тождества, особенности решения системы уравнений.
контрольная работа, добавлен 30.09.2010 Необходимость введения предикатов в математику. Предикат как один из элементов логики первого и высших порядков. Предикат, в котором нет переменных для замены - нульместный предикат. Изображение области истинности предиката на декартовой плоскости.
реферат, добавлен 24.07.2014Система линейных неравенств, определяющих треугольник. Доказательство базиса четырехмерного пространства и определение координат вектора. Исследование функций на периодичность, монотонность и экстремум. Площади фигуры, ограниченной графиками функций.
контрольная работа, добавлен 26.01.2010Решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции выяснить является ли клауза теоремой.
контрольная работа, добавлен 08.06.2010Изучение понятия о логической величине. Отличия общих, частных, единичных высказываний. Таблица истинности. Принципы использования простых и составных логических выражений. Вложенное ветвление. Определение наибольшего среди трех чисел неполного ветвления.
презентация, добавлен 09.10.2013Обзор таблицы производных элементарных функций. Понятие промежуточного аргумента. Правила дифференцирования сложных функций. Способ изображения траектории точки в виде изменения ее проекций по осям. Дифференцирование параметрически заданной функции.
контрольная работа, добавлен 11.08.2009- 108. Интерполяция функций
Вычислительные методы линейной алгебры. Интерполяция функций. Интерполяционный многочлен Ньютона. Узлы интерполяции. Интерполяционный многочлен Лагранжа. Интерполяция сплайнами. Коэффициенты кубических сплайнов.
лабораторная работа, добавлен 06.02.2004 - 109. Численные методы
Приближенные числа и действия над ними. Решение систем линейных алгебраических уравнений. Интерполирование и экстраполирование функций. Численное решение обыкновенных дифференциальных уравнений. Отделение корня уравнения. Поиск погрешности результата.
контрольная работа, добавлен 18.10.2012 Гиперкомплексные числа: общее понятие и основные свойства. Нахождение корней трансцендентного уравнения в комплексных числах на примере уравнения классической задачи теории флаттера в математическом виде. Программная реализация решения в среде Maple.
контрольная работа, добавлен 28.06.2013- 111. Код Прюфера
Построение диаграммы псевдографа, матрицы инцидентности и матрицы соседства вершин. Восстановление дерева по вектору с помощью алгоритма Прюфера. Построение таблицы истинности для функции и совершенной конъюнктивной и дизъюнктивной нормальной форм.
контрольная работа, добавлен 25.09.2013 Вычисление пределов функций. Нахождение производные заданных функций, решение неопределенных интегралов. Исследование функции и построение ее графика. Особенности вычисления площади фигуры, ограниченной линиями с использованием определенного интеграла.
контрольная работа, добавлен 01.03.2011Предикатное представление условий непересечения многоугольников. Алгоритм непересечения многоугольника и полосы. Определение направления обхода вершин многоугольника. Решение систем линейных алгебраических уравнений. Построение интерактивной оболочки.
дипломная работа, добавлен 10.11.2012Составление гамильтониан Н с учетом необходимых условий оптимальности для задачи Майера. Определение оптимального управления из условия максимизации. Получение конической системы уравнений и ее разрешение. Анализ необходимых условий оптимальности.
курсовая работа, добавлен 13.09.2010Понятие и содержание равносильных уравнений, факторы их оценивания. Теорема о равносильности уравнений и ее доказательство. Причины и пути приобретения посторонних корней при разрешении данных уравнений. Нахождение и сравнение множества решений.
презентация, добавлен 26.01.2011Решение систем линейных уравнений методами Крамера и Гауса. Граф состояний марковской системы. Составление уравнений Колмогорова. Предельные вероятности состояний системы. Матричный метод, матрица треугольная, матрица квадратная и решение системы.
контрольная работа, добавлен 20.07.2010Сущность и графическое представление методов решения нелинейных уравнений вида F(x)=0. Особенности метода хорд, бисекции, простой итерации, касательных и секущих. Проверка результатов с помощью встроенных функций и оценка точности полученных значений.
контрольная работа, добавлен 09.11.2010Система линейных уравнений. Матричное решение системы уравнений. Геометрический смысл операций с комплексными числами. Элементы аналитической геометрии в пространстве. Классификация функций. Основные элементарные функции. Раскрытие неопределенностей.
шпаргалка, добавлен 12.01.2009Поиск базисного решения для системы уравнений, составление уравнения линии, приведение его к каноническому виду и построение кривой. Собственные значения и векторы линейного преобразования. Вычисление объема тела и вероятности наступления события.
контрольная работа, добавлен 12.11.2012Решение системы линейных уравнений методом Якоби вручную и на Бейсике. Построение интерполяционного многочлена Ньютона с помощью Excel. Получение аппроксимирующей функции методом наименьших квадратов. Построение кубического сплайна по шести точкам.
курсовая работа, добавлен 07.09.2012Синтез вариационного исчисления и метода функций Ляпунова в основе принципа динамического программирования. Метод знакопостоянных функций Ляпунова в решении задач о стабилизации и синтезе управления для нелинейной и автономной управляемых систем.
курсовая работа, добавлен 17.06.2011Решение систем линейных алгебраических уравнений методом исключения Гаусса. Табулирование и аппроксимация функций. Численное решение обыкновенных дифференциальных уравнений. Приближенное вычисление определенных интегралов. Решение оптимизационных задач.
курсовая работа, добавлен 21.11.2013Понятия теории графов, их связность и задача о кратчайшей цепи. Программная реализация метода Дейкстры, его сравнение с методом простого перебора. Описание логики программного модуля. Примеры работы программы нахождения кратчайшей цепи в связном графе.
курсовая работа, добавлен 25.11.2011Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций, добавлен 08.08.2011Доказательство тождества с помощью диаграмм Эйлера-Венна. Определение вида логической формулы с помощью таблицы истинности. Рисунок графа G (V, E) с множеством вершин V. Поиск матриц смежности и инцидентности. Определение множества вершин и ребер графа.
контрольная работа, добавлен 17.05.2015