Логика высказываний. Логика предикатов. Реляционная логика
Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
Подобные документы
- 101. Высшая математика
Задачи на элементы теории вероятности и математической статистики. Решение систем линейных уравнений методом Крамера; методом Гаусса. Закон распределения дискретной случайной величены. Построение выпуклого многоугольника, заданного системой неравенств.
контрольная работа, добавлен 12.09.2008 Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.
дипломная работа, добавлен 21.01.2010Понятие и матричное представление графов. Ориентированные и неориентированные графы. Опеределение матрицы смежности. Маршруты, цепи, циклы и их свойства. Метрические характеристики графа. Применение теории графов в различных областях науки и техники.
курсовая работа, добавлен 21.02.2009Кривая и формы поверхности второго порядка. Анализ свойств кривых и поверхностей второго порядка. Исследование форм поверхности методом сечений плоскостями, построение линии, полученной в сечениях. Построение поверхности в канонической системе координат.
курсовая работа, добавлен 28.06.2009Предлагается к обсуждению официальным лицам из института им. В.А. Стеклова и любителям математики из Интернета компактный, практически на 2-х страницах способ элементарного доказательства теоремы Ферма в общем виде.
реферат, добавлен 05.07.2006- 106. Теорема Пифагора
Основные открытия Пифагора в области геометрии, географии, астрономии, музыки и нумерологии. Изначальная и алгебраическая формулировки знаменитой теоремы. Один их многочисленных способов доказательства теоремы Пифагора, ее основные следствия и применение.
презентация, добавлен 05.12.2010 Составление математической модели задачи. Приведение ее к стандартной транспортной задаче с балансом запасов и потребностей. Построение начального опорного плана задачи методом минимального элемента, решение методом потенциалов. Анализ результатов.
задача, добавлен 16.02.2016История возникновения дифференциальных исчислений. Изучение особенностей дифференциального уравнения I порядка. Описание соотношения, связывающего функцию и ее производные. Рассмотрение метода изоклин. Построение интегральных кривых методом изоклин.
курсовая работа, добавлен 17.02.2016- 109. Полином Жегалкина
Изучение булевых функций. Алгоритм представления булевых функций в виде полинома Жегалкина. Система функций множества. Алгебраические преобразования, метод неопределенных коэффициентов. Таблица истинности для определенного количества переменных.
курсовая работа, добавлен 27.04.2011 Однородный Марковский процесс. Построение графа состояний системы. Вероятность выхода из строя и восстановления элемента. Система дифференциальных уравнений Колмогорова. Обратное преобразование Лапласа. Определение среднего времени жизни системы.
контрольная работа, добавлен 08.09.2010Применение старинного японского искусства складывания и сгибания различных фигурок из бумаги (оригами) в занимательной математике. Задача о "линии сгиба листа", пентаграммы, построение параболы путем построения семейства касательных по линии сгиба листа.
творческая работа, добавлен 18.01.2011Использование теоретико-числового и алгебраического метода доказательства, с наглядной геометрической верификацией, который был изобретен П. Ферма. Верификация метода бесконечных (неопределенных) спусков, который применяется для доказательства теоремы.
научная работа, добавлен 11.01.2008Изучение некоторых методов построения отрезков, равных произведению или отношению двух других отрезков, с помощью циркуля и линейки. Использование произвольно выбранного единичного отрезка, а также определение произведения и деления этих отрезков.
творческая работа, добавлен 04.09.2010Понятие "граф". Отношения между разнородными элементами. Матричное представление графов. Операции над графами. Маршруты, цепи, циклы. Метрические характеристики графа. Приложение теории графов в различных областях науки и техники. Листинг программы.
курсовая работа, добавлен 15.12.2008Составление диагональной системы способом прогонки, нахождение решения задачи Коши для дифференциального уравнения на сетке методом Эйлера и классическим методом Рунге-Кутта. Построение кубического сплайна интерполирующей функции равномерного разбиения.
практическая работа, добавлен 06.06.2011Алгоритм перехода к графическому представлению для неориентированного графа. Количество вершин неориентированного графа. Чтение из матрицы смежностей. Связи между вершинами в матрице. Задание координат вершин в зависимости от количества секторов.
лабораторная работа, добавлен 29.04.2011Подборка комичных отрывков из конспектов студентов 4-го курса механико-математического факультета и некоторых казусных фраз и высказываний их преподавателей. Сущность и обобщение принципа Максима Понтрягина. Методика доказательства очевидного неравенства.
учебное пособие, добавлен 28.03.2010Рассмотрение различных примеров комбинаторных задач в математике. Описание способов перебора возможных вариантов. Использование комбинаторного правила умножения. Составление дерева вариантов. Перестановки, сочетания, размещения как простейшие комбинации.
презентация, добавлен 17.10.2015Решение системы уравнений методом Гаусса и с помощью встроенной функции; матричным методом и с помощью вычислительного блока Given/Find. Нахождение производных. Исследование функции и построение её графика. Критические точки и интервалы монотонности.
контрольная работа, добавлен 16.12.2013Определение точки пересечения высот треугольника и координат вектора. Сущность базиса системы векторов и его доказательство. Определение производных функций, исследование ее и построение графика. Неопределенные интегралы и их проверка дифференцированием.
контрольная работа, добавлен 26.01.2010История происхождения слова "пирамида". Виды пирамид, построение проекций. Полная пирамида: определение свойств, площади, объема. Что такое усеченная пирамида, ее свойства и основные характеристики, построение плоских сечений. Развернутый вид пирамиды.
презентация, добавлен 11.06.2009Геометрическая формулировка задачи распознавания: построение поверхности, которая разделяет множества, соответствующие в пространстве признакам различных классов объектов. Основные понятия и определения. Непараметрические парзеновские оценки плотностей.
курсовая работа, добавлен 10.04.2011Согласование выборочных распределений. Отбор статистических данных с помощью таблицы случайных чисел. Расчет числовых характеристик распределения выборочных частот. Проверка предположения, что распределение генеральной совокупности является нормальным.
курсовая работа, добавлен 19.01.2016Понятие и характерные признаки равносильных уравнений, требования к множеству их решений. Теорема о равносильности уравнений и порядок ее доказательства, значение в современной математике. Порядок и основные этапы нахождения корней уравнения-следствия.
презентация, добавлен 17.03.2011Понятие матрицы достижимости и связности. Операция удаления вершины из графа. Алгоритм выделения компонент сильной связности. Разработка и листинг программы на языке Turbo Pascal, осуществляющей вычисление матрицы достижимости по заданному алгоритму.
курсовая работа, добавлен 26.04.2011