Логика высказываний. Логика предикатов. Реляционная логика
Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
Подобные документы
Побудування графа та матриці інцидентності. Перетворення графа у зважений за допомогою алгоритму Дейкстри, знаходження довжини найкоротшого шляху між двома вершинами та побудування дійсного шляху. Обхід дерева у прямому та зворотному порядках.
курсовая работа, добавлен 03.07.2014Основные теоремы дифференциального исчисления: Ферма, Ролля, Коши, Лагранжа и их доказательство. Локальные экстремумы функции, исследование ее на выпуклость и вогнутость, понятие точки перегиба. Асимптоты и общая схема построения графика функции.
реферат, добавлен 12.06.2010- 78. Эйлеровы графы
Общее понятие теоремы Эйлера, этапы ее доказательства. Необходимые и достаточные условия существования эйлерова цикла. Сущность задачи о построении каркаса куба. Алгоритм Флери построения эйлерова цикла. Обход полуэйлерова графа с нечетной вершины.
презентация, добавлен 12.04.2014 История возникновения и развития математической логики как раздела математики, изучающего математические обозначения и формальные системы. Применение математической логики в технике и криптографии. Взаимосвязь программирования и математической логики.
контрольная работа, добавлен 10.10.2014Порядок и принципы построения вариационного ряда. Расчет числовых характеристик статистического ряда. Построение полигона и гистограммы относительных частот, функции распределения. Вычисление асимметрии и эксцесса. Построение доверительных интервалов.
контрольная работа, добавлен 03.10.2010Определение матрицы, решение систем уравнений методом Гаусса и по формулам Крамера. Определение параметров треугольника, его графическое построение. Задача приведения уравнения кривой второго порядка к каноническому виду и ее построение.
контрольная работа, добавлен 08.05.2009Примеры решения задач по заданию графов. Определение основных характеристик графа: диаметра, радиуса, эксцентриситета каждой вершины. Вычисление вершинного и реберного хроматического числа. Упорядоченность матричным способом и построение функции.
контрольная работа, добавлен 05.07.2014Задания на установление заданных пределов без использования правила Лопиталя. Определение точек разрыва функции и построение ее графика. Правило вычисления производной, заданной неявно. Исследование функции методами дифференциального исчисления.
контрольная работа, добавлен 10.10.2011Нахождение экстремумов функций методом множителей Лагранжа. Выражение расширенной целевой функции. Схема алгоритма численного решения задачи методом штрафных функций в сочетании с методом безусловной минимизации. Построение линий ограничений.
курсовая работа, добавлен 04.05.2011Остовное дерево связного неориентированного графа. Алгоритм создания остовного дерева, его нахождение. Сущность и главные особенности алгоритма Крускала. Порядок построения алгоритма Прима, вершина наименьшего веса. Промежуточная структура данных.
презентация, добавлен 16.09.2013Алгоритм и логика решения задач категории B8 из раздела "математический анализ" Единого государственного экзамена. Определение точек максимума и минимума. Нахождение интервалов возрастания и убывания функции. Геометрический смысл определенного интеграла.
методичка, добавлен 23.04.2013Описание заданного графа множествами вершин V и дуг X, списками смежности, матрицей инцидентности и смежности. Матрица весов соответствующего неориентированного графа. Определение дерева кратчайших путей по алгоритму Дейкстры. Поиск деревьев на графе.
курсовая работа, добавлен 30.09.2014Два варианта доказательства теоремы. Приведенные преобразования равенства Ферма над множеством натуральных чисел показывают, что с помощью конечного числа арифметических действий оно всегда приводится к тождеству, что и доказывает теорему.
статья, добавлен 14.04.2007Понятие и свойства n-арных операций, универсальной алгебры и сигнатуры. Характеристика централизаторов конгруэнции универсальных алгебр и доказательство их основных свойств. Нильпотентные и абелевы алгебры, формулировка и метод доказательства их лемм.
курсовая работа, добавлен 22.09.2009Использование градуированной веревки при построении перпендикуляра к прямой. Нахождение середины отрезка. Построение треугольника по двум сторонам и высоте к третьей стороне. Нахождение точки пересечения двух прямых. Построение биссектрисы угла.
научная работа, добавлен 07.02.2010Основные методы Рунге-Кутта: построение класса расчетных формул. Расчетная формула метода Эйлера. Получение различных методов Рунге-Кутта с погрешностью второго порядка малости при произвольном задавании параметров. Особенности повышения порядка точности.
реферат, добавлен 18.04.2015Формулировка гипотезы Билля и методика ее краткого доказательства. Анализ составляющих гипотезу алгебраических выражений. Использование метода замены переменных при доказательстве гипотезы Билля, не имеющей решения при целых положительных числах.
творческая работа, добавлен 07.06.2009Лекция по предмету "математика" в военном училище. Исторические сведения и построение курса математики для военных. Описание построения прямоугольной системы координат. Полярные координаты и их связь с прямоугольными.
лекция, добавлен 02.06.2008Доказательство линейной независимости системы векторов пирамиды. Расчет длины ребра, угла между ребрами. Составление уравнения прямой и плоскости. Выполнение операций для матриц. Величина главного определителя. Поиск алгебраических дополнений матрицы.
контрольная работа, добавлен 20.03.2017- 95. Планарные графы
Сущностные характеристики плоского и планарного графа. Основные особенности формулы Эйлера и критерия Понтрягина-Куратовского, их доказательства. Общая характеристика двух критериев планарности. Сущность и значение процесса применения гамма-алгоритмов.
реферат, добавлен 25.12.2011 Исследование доказательства теоремы Ферма в общем виде. Показано, что кроме уравнения второй степени уравнения Ферма не содержат других решений в целых числах. Предложено к рассмотрению 4 метода доказательства теоремы при целых x, y.
статья, добавлен 29.08.2004Построение таблицы и графика решения линейного дифференциального уравнения. Зависимость погрешности решения от выбора шага интегрирования. Метод Адамса-Башфорта и его применение. Основные функции и переменные, использованные в реализованной программе.
контрольная работа, добавлен 13.06.2012Методика и основные этапы нахождения производной функции. Исследование методами дифференциального исчисления и построение графика функции. Порядок определения экстремумов функции. Вычисление неопределенных и определенных интегралов заменой переменной.
контрольная работа, добавлен 01.05.2010Формирование массивов данных результатов контроля, представленных в форме матрицы. Основные статистические характеристики. Построение диаграмм. Определение коэффициентов точности технологического процесса и параметров контрольных карт, их построение.
курсовая работа, добавлен 14.10.2011Построение угла равного данному, биссектрисы данного угла, середины отрезка, перпендикулярных прямых, треугольника по трем элементам. Теорема Фалеса и геометрическое место точек. Построение с использованием свойств движений. Метод геометрических мест.
дипломная работа, добавлен 24.06.2011