Методы решений задач логики высказываний, логики предикатов и реляционной логики
Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.
Подобные документы
Составление диагональной системы способом прогонки, нахождение решения задачи Коши для дифференциального уравнения на сетке методом Эйлера и классическим методом Рунге-Кутта. Построение кубического сплайна интерполирующей функции равномерного разбиения.
практическая работа, добавлен 06.06.2011Понятие "граф". Отношения между разнородными элементами. Матричное представление графов. Операции над графами. Маршруты, цепи, циклы. Метрические характеристики графа. Приложение теории графов в различных областях науки и техники. Листинг программы.
курсовая работа, добавлен 15.12.2008Описание заданного графа множествами вершин V и дуг X, списками смежности, матрицей инцидентности и смежности. Матрица весов соответствующего неориентированного графа. Определение дерева кратчайших путей по алгоритму Дейкстры. Поиск деревьев на графе.
курсовая работа, добавлен 30.09.2014Линейное программирование как наиболее разработанный и широко применяемый раздел математического программирования. Понятие и содержание симплекс-метода, особенности и сферы его применения, порядок и анализ решения линейных уравнений данным методом.
курсовая работа, добавлен 09.04.2013Восстановление графов по заданным матрицам смежности вершин. Построение для каждого графа матрицы смежности ребер, инцидентности, достижимости, контрдостижимости. Поиск композиции графов. Определение локальных степеней вершин графа. Поиск базы графов.
лабораторная работа, добавлен 09.01.2009- 56. Разработка методических рекомендаций решения некоторых стереометрических задач векторным методом
Составление четкого алгоритма, следуя которому, можно решить большое количество задач на нахождение угла между прямыми, заданными точками на ребрах многогранника. Условия задач по теме и примеры их решения. Упражнения для решения подобного рода задач.
практическая работа, добавлен 15.12.2013 Статистика – наука о массовых явлениях в природе и обществе; получение, обработка, анализ данных. Демографическая статистика, прогноз численности населения России. Методы обработки статистических данных: элементы логики, комбинаторики, теории вероятности.
презентация, добавлен 19.12.2012Выполнение алгебраических преобразований, логическая культура и техника исследования. Основные типы задач с параметрами, нахождение количества решений в зависимости от значения параметра. Основные методы решения задач, методы построения графиков функций.
методичка, добавлен 19.04.2010Теоремы Паскаля, Брианшона для пятиугольника, четырехугольника, треугольника. Их использование для решения задач конструктивного типа проективной геометрии линий 2-го порядка на расширенной прямой, связанные с построением точек и касательных к ним.
курсовая работа, добавлен 02.06.2013- 60. Планарные графы
Сущностные характеристики плоского и планарного графа. Основные особенности формулы Эйлера и критерия Понтрягина-Куратовского, их доказательства. Общая характеристика двух критериев планарности. Сущность и значение процесса применения гамма-алгоритмов.
реферат, добавлен 25.12.2011 Степень истинности или ложности высказывания. Операции над нечеткими высказываниями. Отрицание, конъюнкция, дизъюнкция, импликация и эквивалентность высказываний. Типы лингвистических высказываний. Множество нечетких продукций и входных переменных.
лекция, добавлен 15.10.2013Основные особенности решения гидродинамических задач методом конформных отображений. Сущность понятия "конформное отображение". Анализ задачи об обтекании твердого тела потоком жидкости. Знакомство с интегрированными функциями комплексного переменного.
контрольная работа, добавлен 22.03.2013Метод Форда-Беллмана для нахождения расстояния от источника до всех вершин графа. Алгоритмы поиска расстояний и отыскания кратчайших путей в графах. Блочно-диагональный вид и матрица в исследовании системы булевых функций и самодвойственной функции.
курсовая работа, добавлен 10.10.2011- 64. Эйлеровы графы
Общее понятие теоремы Эйлера, этапы ее доказательства. Необходимые и достаточные условия существования эйлерова цикла. Сущность задачи о построении каркаса куба. Алгоритм Флери построения эйлерова цикла. Обход полуэйлерова графа с нечетной вершины.
презентация, добавлен 12.04.2014 Философский подход к количественной характеристике и ее переходу к качественной категории. Математический анализ гегелевской логики теории непрерывности. Определение числа посредством бесконечности. Сущность и значение метода дифференциального исчисления.
реферат, добавлен 14.08.2015- 66. Оценка состояния объекта, подвергающегося воздействию, на основе построений функций принадлежности
Понятие нечеткого множества и свойства его элементов. Определение логических операций: отрицания, конъюнкции, дизъюнкции. Основные этапы нечеткого вывода, метод центра тяжести. Оценка состояния повреждения объекта на основе теории нечетких множеств.
курсовая работа, добавлен 22.07.2011 Характеристика способов решения систем линейных алгебраических уравнений (СЛАУ). Описание проведения вычислений на компьютере методом Гаусса, методом квадратного корня, LU–методом. Реализация метода вращений средствами системы программирования Delphi.
курсовая работа, добавлен 04.05.2014Обыкновенные и модифицированные жордановы исключения. Последовательность решения задач линейного программирования симплекс-методом применительно к задаче максимизации: составлении опорного плана решения, различные преобразования в симплекс-таблице.
курсовая работа, добавлен 01.05.2011Методы определения объемов выпуска изделий каждой модели, при которых прибыль будет максимальна Составление математической модели задачи целочисленного программирования. Решение задачи симплекс-методом. Поиск целочисленного решения методом отсечения.
контрольная работа, добавлен 30.01.2011- 70. Графы
Математическое описание системы автоматического управления с помощью графов. Составление графа и его преобразование, избавление от дифференциалов. Оптимизации ориентированных и неориентированных графов, составления матриц смежности и инцидентности.
лабораторная работа, добавлен 11.03.2012 Методы исследования операций для количественного анализа сложных целенаправленных процессов. Решение задач методом полного перебора и оптимальной вставки (определение всевозможных расписаний, их очередности, выбор оптимального). Генератор исходных данных.
курсовая работа, добавлен 01.05.2011- 72. Булевы функции
Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.
контрольная работа, добавлен 20.01.2011 Геометрическая и алгебраическая формулировка теоремы Пифагора. Многочисленность ее доказательств: через подобные треугольники, методом площадей, через равнодополняемость, при помощи дифференциальных уравнений. Доказательства Евклида и Леонардо да Винчи.
презентация, добавлен 15.10.2013Применение интервальных графов. Алгоритмы распознавания интервальных графов: поиск в ширину, поиск в ширину с дополнительной сортировкой, лексикографический поиск в ширину, алгоритм "трех махов". Программа задания единичного интервального графа.
курсовая работа, добавлен 10.02.2017- 75. Линейная алгебра
Вычисление определителя, алгебраических дополнений. Выполнение действий над матрицами. Решение систем линейных уравнений по формулам Крамера, методом Гауса. Определение плана выпуска химикатов на заводе. Составление экономико-математической модели задачи.
контрольная работа, добавлен 25.03.2014