Логические элементы и схемы
Основные элементы алгебры логики. Характеристика синтеза логических схем на основе программы National Instruments и NI ELVIS II. Анализ комбинационных и последовательностных устройств. Представление логических функций математическими выражениями.
Подобные документы
Изучение основных понятий векторной алгебры. Определение базиса вектора, коллинеарных и компланарных векторов. Изучение проекции на ось и ее свойств. Рассмотрение сложения векторов: правил треугольника и параллелограмма. Формулирование теоремы Фалеса.
лекция, добавлен 26.01.2014Области применения равносильных преобразований алгоритмов. Схемы представления алгоритмов и алгебра событий. Соответствие событий переходам в инверсном графе. Способы регулярного выражения алгоритма. Определение последующих степеней символьных матриц.
статья, добавлен 08.12.2018Нахождение косинуса угла между векторами при заданных условиях. Схематический чертеж перпендикулярных плоскостей. Приведение к каноническому виду уравнения линий второго порядка. Решение системы линейных уравнений матричным методом и методом Гаусса.
контрольная работа, добавлен 11.06.2016Определители второго, третьего и четвертого порядка, их свойства и методы вычисления. Операции над матрицами и их особенности. Понятие ранга матрицы, правило Крамера. Матричный метод решения систем, пределы и непрерывность функций. Дифференциал функции.
учебное пособие, добавлен 28.08.2017Исчисление высказываний. Свободные и связанные переменные. Дизъюнкты и нормальные формы. Анализ примеров использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Применение логических связок.
учебное пособие, добавлен 12.11.2017Обзор логико-алгебраического метода моделирования логических связей между вопросами теста, позволяющего получить интегральный показатель, оценивающий знания испытуемого. Построение логических уравнений, которые описывают связи между тестовыми вопросами.
статья, добавлен 14.07.2016Воспитание творческой активности учащихся в процессе изучения ими математики. Метод замены информации по эквивалентности и вывода логических следствий. Вывод формулы для решения квадратного уравнения, решение задач на построение алгебраическим методом.
статья, добавлен 15.03.2019Определение роли логических задач в обучении математики. Ознакомление с задачами, решаемыми с помощью метода "здравых суждений", составления таблиц, построения графов и с помощью кругов Эйлера. Пример задачи, решаемой с применением алгебры высказываний.
статья, добавлен 11.11.2018Основные понятия алгебраической логики. Проведение отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции над высказываниями. Перевод текстов на язык предикатов, определение их истинности. Этапы формирования законов логики в трудах Аристотеля.
контрольная работа, добавлен 01.02.2012Основы линейной, векторной алгебры, аналитической геометрии и математического анализа. Криволинейные и поверхностные интегралы, дифференциальные уравнения, элементы теории поля и теории функций комплексного переменного, основы операционного исчисления.
курс лекций, добавлен 19.11.2014Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
контрольная работа, добавлен 12.04.2011- 87. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 Рассмотрение основных свойств конъюнкции, дизъюнкции и отрицания, их отличия. Сущность логической функций как функции, у которой все переменные и сама функция могут принимать только два значения: 0 и 1. Понятие карт Карно, их порядок использования.
методичка, добавлен 09.11.2014Способы задания и операции над множествами. Основные тождества алгебры и проекция вектора. Свойства сложения и умножения (коммутативность, ассоциативность и дистрибутивность). Операции над соответствиями. Диагональные элементы матрицы и линейные операции.
контрольная работа, добавлен 13.05.2014- 90. Законы логики
Предмет и основные законы логики. Понятие как логическая форма. Логические действия с понятиями. Определение количества и качества суждений, их связка. Умозаключение как форма мысли, простой категорический силлогизм. Доказательство и опровержение.
контрольная работа, добавлен 25.03.2014 - 91. Теория множеств
Элементы теории множеств, операции над ними. Инъективные и сюръективные отображения. Отношение эквивалентности. Элементы теории кодирования, графов. Представление графов в памяти компьютера. Пример нахождения кода Харари графа. Задачи о раскраске.
методичка, добавлен 29.09.2017 Основы алгебры логики, понятие и типы системы счисления. Применение двоичной, восьмеричной и шестнадцатеричной систем счисления в современной цифровой схемотехнике. Способы описания логической функции, алгебраические выражения и таблицы истинности.
реферат, добавлен 27.06.2015- 93. Тензорный анализ
Тензор - объект линейной алгебры, преобразующий элементы пространства. Создание абстрактных моделей в математических терминах. Произведение длин векторов и косинуса угла. Понятия скаляра, вектора и матрицы. Тензорный анализ и дифференциальная геометрия.
реферат, добавлен 25.02.2021 Особенность выполнения различных операций с матрицами. Исследование скалярного и векторного произведения векторов. Применение матричных функций для решения задач линейной алгебры в MathCAD. Анализ однородных и неоднородных систем линейных уравнений.
презентация, добавлен 08.04.2018Виды матриц. Их сложение и умножение на число. Формула произведения согласованных матриц. Свойства линейных операций. Транспонирование математических таблиц. Характеристика определителей и их вычисление. Понятие минора и алгебраического дополнения.
презентация, добавлен 29.08.2015Исследование возможности повышения технико-экономической эффективности технологических схем нефтепереработки на основе формализации знаний о предметной области и автоматизации задач структурного синтеза с использованием математического программирования.
статья, добавлен 06.05.2018Основные понятия матрицы и ее определителей. Использование теорем замещения и аннулирования в доказательстве свойств определителей. Алгебраическое дополнение и минор элемента. Операции вычисления между элементами строк и столбцов квадратной матрицы.
лекция, добавлен 29.09.2013Перевод числа из десятичной системы счисления в двоичную, восьмеричную и шестнадцатеричную. Процесс перевода и выполнение проверки. Расчет по формуле полинома. Составление схемы на логических и релейных элементах. Проверка по таблице истинности.
контрольная работа, добавлен 12.07.2015Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013Булевы переменные: действительные и фиктивные. Сокращение или расширение количества переменных для логических функций удалением или введением фиктивных. Составление комбинационной таблицы. Числа с плавающей запятой. Функционирование системы управления.
контрольная работа, добавлен 22.10.2013