Основы математической логики
Исследование основных логических операций и их свойств. Алгебра высказываний. Проектирование и синтез дискретного автомата. Анализ контактной схемы и работы логического сумматора. Аналитическое выражение логической функции, описывающей работу схемы.
Подобные документы
Изучение основных формул комбинаторики. Анализ примеров абсолютно непрерывных распределений. Характеристика теоремы Пуассона для схемы Бернулли. Рассмотрение особенностей использования формулы свёртки. Изучение основных свойств коэффициента корреляции.
учебное пособие, добавлен 28.12.2013Понятие элементарной суммы и произведения. Множество дизъюнктивных и конъюнктивных нормальных форм для алгебры высказываний. Тождественно-истинная и тождественно-ложная формула. Проблема разрешимости для логики высказываний. Формализация рассуждений.
презентация, добавлен 17.04.2013Моделирование схемы ячейки умножителя и выбора наборов, обеспечивающих выполнение условий С-тестируемости схемы и обнаруживающих все неисправности константного типа на входах-выходах умножителя и внутренних узлах каждой ячейки на веньтильном уровне.
статья, добавлен 26.01.2017Характеристика моделей дисперсионного анализа с фиксированными уровнями факторов. Анализ статистических данных. Определение среднего арифметического урожайности. Рассмотрение схемы однофакторного дисперсионного анализа. Изучение метода нулевых гипотез.
контрольная работа, добавлен 19.04.2015Создание таблицы значений функции алгебры логики, способы нахождения всех существенных переменных. Построение полинома Жегалкина функции. Определение совершенной дизъюнктивной нормальной формы. Особенности создания связного ориентированного графа.
контрольная работа, добавлен 27.08.2013- 81. Алгебра октав
Определение понятия системы аксиом алгебры октав; ее непротиворечивость и категоричность. Изучение понятия и свойств сопряженных октав. Рассмотрение основных тождеств, применяемых к октавам. Формулирование и доказательство теорем Гурвица и Фробениуса.
дипломная работа, добавлен 05.05.2012 Пример решения одной из основных канонических задач синтеза дискретных устройств, а именно, построения их с минимальным использованием логических элементов, которые выполняют функции формирования значений входных переменных и реализацию элементарных ФАЛ.
лекция, добавлен 15.11.2017Использование новой математической структуры, которая является обобщением алгебры множеств и совмещает в себе некоторые свойства частично упорядоченных систем и логических исчислений. Особенность моделирования концепции естественных рассуждений.
статья, добавлен 16.01.2018Построение математической модели объекта управления в пространстве состояния. Определение спектральной плотности белого шума с помощью корреляционной функции. Эквивалентная схема объекта управления. Составление структурной схемы и сигнального графа.
курсовая работа, добавлен 11.03.2012Множества в векторных пространствах. Продолжение положительных функционалов и операторов. Равномерность и топология метрического пространства. Теорема Жордана и простые картины. Выпуклые функции и сублинейные функционалы, алгебра ограниченных операторов.
монография, добавлен 18.06.2015Аппаратная реализация устройств управления и их значение в информационных системах реального времени. Граф переходов автомата с выбором логического условия. Структурная модель автомата с операционным устройством, особенности взаимосвязи элементов.
лекция, добавлен 22.10.2013Расчет вероятности безотказной работы и оптимизация вычислительных систем. Поиск верхней и нижней границы надежности схемы методом минимальных путей и сечений. Преобразование полученной схемы в параллельно-последовательный вид и расчет ее надежности.
контрольная работа, добавлен 02.05.2012Изучение математических моделей объектов, процессов и зависимостей, решаемых дискретной математикой. Анализ элементов теории множеств. Понятие и применение математической логики. Определение алгебраических операций. Теория графического представления.
учебное пособие, добавлен 19.12.2012Исследование поискового метода минимизации мультимодальной функции одной переменной на основе двухзвенной схемы отбора интервалов первого порядка. Поисковый метод ее минимизации. Сравнительное исследование эффективности методов, их плюсы и минусы.
контрольная работа, добавлен 27.07.2014Анализ мышления как познавательного процесса. Изучение потенциала математики в развитии логического мышления младших школьников. Развитие логических приемов мышления при формировании математических понятий, а также при обучении учащихся суждению.
дипломная работа, добавлен 16.05.2016Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.
методичка, добавлен 24.09.2019Исследование сходимости рядов на высшем уровне норвежским математиком Н. Абелем. Основы механики и гидростатики, открытые Архимедом. Методы интегрирования рациональных дробей, правило раскрытия неопределенности И. Бернулли. Символическая алгебра Ф. Виета.
презентация, добавлен 08.02.2016Понятие качества, методы его оценки на основе измерений свойств объекта и на основе коэффициентов "трудности". Операционные основы построения производственно-квалитативных функций. Основная формула теории управления с обратной связью и ее приложения.
методичка, добавлен 10.05.2015Множества и операции над ними. Декартово произведение множеств. Понятие и свойства алгоритма. Аксиоматический метод. Понятие о комбинаторной задаче. Математические утверждения и их структура. Основы математической логики. Соответствия и отношения.
курс лекций, добавлен 25.09.2017Анализ выработки наиболее удобного способа записи чисел для простого и быстрого решения логических задач. Исследование основных свойств системы счисления. Особенность использования упорядоченного набора символов. Суть применения двоичной концепции.
лекция, добавлен 06.08.2017Определение и анализ сущности комплементарной логики, которая создаётся путём синтеза экстенсиональной и интенсиональной логики. Характеристика особенностей интерпретации редукции волновой функции на основе принципа психофизического параллелизма.
статья, добавлен 25.12.2021Рассмотрение планарного разбиения дискретного множества точек по Воронову. Обзор основных свойств диаграммы. Определение линейной сложности. Изучение последовательности построения диаграммы. Выявление свойств разбивающей цепи и двухсвязного списка.
презентация, добавлен 06.03.2015Характеристика понятия и сущности, способов задания, основных операций, свойств характеристических функций множеств. Изучение декартового произведения множеств, сравнение их мощности, описание формул включений и исключений. Метод математической индукции.
лекция, добавлен 28.04.2015- 100. Векторная алгебра
Рассмотрение особенностей проведения линейных операций над различными векторами с одинаковыми координатами. Ознакомление с условиями коллинеарности в координатной форме. Проекция вектора на ось в алгебре. Вычисления прямоугольной системы координат.
презентация, добавлен 01.09.2015