Математическая логика и теория алгоритмов
Характеристика доказательства по заданному модусу путем построения диаграмм Эйлера. Изучение методов математической логики для формализации высказывания. Доказательство общезначимости формулы, используя законы алгебры, равносильные преобразования.
Подобные документы
Тригонометрическая система функций. Формулы интеграла Фурье для различных функций. Применение преобразования Фурье к задачам математической физики, электротехники. Решение уравнения Бесселя, возникающего при разделении переменных. Гармонический анализ.
курс лекций, добавлен 29.09.2014Признак коллинеарности векторов, их абсолютная длинна и скалярное произведение. Сумма векторов, правило треугольника, параллелограмма, многоугольника, параллелепипеда Смешанные произведения в координатах. Проекции вектора на ось. Координатные формулы.
реферат, добавлен 28.02.2011Физическое устройство, реализующее одну из операций алгебры логики или простую логическую функцию. Схема, составленная из конечного числа логических элементов по определенным правилам. Практическое следствие принципа двойственности при записи выражений.
презентация, добавлен 21.11.2021Характеристика методов и функций математической статистики (исследование, обработка, выводы закономерностей статических данных): понятия "выборка", "генеральная совокупность", "объём выборки", "полигон", "гистограмма частот", "медиана, дисперсия выборки".
презентация, добавлен 11.06.2014- 105. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 Характеристика методики решения системы линейных уравнений. Изучение методов поиска преобразования с помощью средств матричного исчисления. Определение с помощью векторной алгебры длины ребер и направляющих косинуса вектора, объема пирамиды и ее высоты.
методичка, добавлен 25.05.2015Изучение особенностей и причин создания логарифмов. Рассмотрение методов их решения. Основы расчета области определения логарифмической функции. Рассмотрение функций формулы преобразования. Характеристика аспектов метода введение новой переменной.
презентация, добавлен 16.01.2014- 108. Высшая математика
Понятие о натуральных, комплексных и иррациональных числах. Правила математического доказательства теорем. Принципы исчисления дифференциала и производной функции. Приведение формулы Ньютона-Лейбница. Расчет криволинейного и поверхностного интегралов.
конспект урока, добавлен 07.12.2011 Скалярное поле, производная по направлению, градиент функции. Оператор Гамильтона. Свойства векторного поля. Комплексные числа, формулы Эйлера. Производные и интеграл от функции комплексного переменного. Ряды Тейлора и Лорана. Вычеты и их использование.
учебное пособие, добавлен 24.06.2014Построение математической модели управления и автоматизации технологических процессов в промышленности. Характеристика, структурная схема и свойства орграфов, использование формулы Мейсона для их преобразования. Определение передаточной функции контуров.
лекция, добавлен 22.07.2015Получение дополнительной когомологической информации об операциях Адамса в К-теории. Поиск формулы для вычисления коэффициентов Дынкина операций Адамса. Образующие элементы алгебры когомологии однородного пространства. Анализ доказательства теоремы.
статья, добавлен 05.07.2013Принципы применения методов теории вероятностей и математической статистики для решения статистических задач. Построение гистограммы относительных частот. Эмпирическая функция распределения случайной величины. Оценка математического ожидания выборки.
контрольная работа, добавлен 16.11.2017Определение преимуществ векторного метода для доказательства некоторых теорем и решения задач по планиметрии. Доказательства теорем векторным методом. Доказательства основных соотношений, применяемых при решении задач. Разложения неколлинеарных векторов.
презентация, добавлен 10.04.2013Рассмотрение понятия математического доказательства. Проблема обозримости в связи с применением компьютеров в математике. Пример доказательства теоремы о четырех красках. Эпистемология математического доказывания в контексте теоретико-типового подхода.
статья, добавлен 06.04.2021- 115. Теория графов
Определение понятия и сущности графов. Изучение проблемы построения неографа с заданным списком вершин и предписанными теоретическими свойствами. Описание реализации алгоритмов построения связных графов и деревьев в пакете символьной математики Maple.
контрольная работа, добавлен 18.12.2015 Основы алгебры логики, понятие и типы системы счисления. Применение двоичной, восьмеричной и шестнадцатеричной систем счисления в современной цифровой схемотехнике. Способы описания логической функции, алгебраические выражения и таблицы истинности.
реферат, добавлен 27.06.2015Завершение проблемы великой теоремы Ферма (ТФ). Бесконечный спуск для нечётных показателей. Доказательство ТФ методами элементарной алгебры. Алгоритм решения Диофантовых уравнений. Закономерность распределения простых чисел в натуральном числовом ряду.
статья, добавлен 30.03.2017Расчет формулы преобразования Лапласа для алгебраизации дифференциальных уравнений, ее свойства: линейность, дифференцирование оригинала, свертка, запаздывание, сдвиг и масштабирование. Расчет функций Хевисайда и Дирака и применение теоремы о вычетах.
презентация, добавлен 20.02.2014Методы разработки алгоритмов. Характеристика особенностей "жадных" алгоритмов. Анализ задачи о выборе заявок. Изучение методов определения правильности алгоритма. Изучение принципов жадного выбора. Жадный алгоритм и динамическое программирование.
реферат, добавлен 23.11.2019- 120. Логика ветвящегося времени и ее применение в интеллектуальных системах поддержки принятия решений
Характеристика основных положений темпоральной (временной) логики для ветвящегося времени в плане ее использования в интеллектуальных системах поддержки принятия решений реального времени. Исследование проблемы программной реализации данной логики.
статья, добавлен 16.01.2018 Изучение математических моделей объектов, процессов и зависимостей, решаемых дискретной математикой. Анализ элементов теории множеств. Понятие и применение математической логики. Определение алгебраических операций. Теория графического представления.
учебное пособие, добавлен 19.12.2012Теория вероятностей и основные теоремы. Дискретная и непрерывная случайная величина. Статистическое распределение выборки, точечные и интервальные оценки. Доверительный интервал и критерий Пирсона. Элементы теории корреляции и формулы полной вероятности.
контрольная работа, добавлен 08.12.2011Определение инверсии как преобразования плоскости, её свойства. Построение инверсных точек. Рассмотрение всевозможных случаев построения образов прямых и окружностей при помощи инверсии. Применение данного метода при решении задач на доказательство.
курсовая работа, добавлен 03.11.2018Анализ алгоритмов децимации (прореживания) сигналов, основанных на использовании средств и методов идентификационных измерений. Моделирование предложенных алгоритмов децимации сигналов и их сравнительный анализ с точки зрения эффективности преобразования.
статья, добавлен 30.10.2018Анализ фундаментальных проблем в направлениях современной алгебры: теория неассоциативных алгебр, теория конечных групп и алгебраическая геометрия. Построение примеров йордановых супералгебр над произвольным полем. Арифметическое описание спектров.
научная работа, добавлен 28.10.2018