Метод вычислений в параллельном логическом выводе
Разработка метода вычислений для параллельного логического вывода на знаниях, представленных формулами исчисления предикатов первого порядка. Модификация формальной системы. Методы вычислений на подстановках с учетом параллельности логического вывода.
| Рубрика | Математика |
| Вид | статья |
| Язык | русский |
| Дата добавления | 18.01.2018 |
| Размер файла | 32,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Введение в численные методы, план построения вычислительного эксперимента. Точность вычислений, классификация погрешностей. Обзор методов численного интегрирования и дифференцирования, оценка апостериорной погрешности. Решение систем линейных уравнений.
методичка [7,0 M], добавлен 23.09.2010Понятие предикатов и кванторов, порядок составления логических формул. Запись предиката как множество высказываний, формулы их исчисления. Аксиоматическое и натуральное представление узкого исчисления предикатов, погружение аристотелевской силлогистики.
контрольная работа [35,0 K], добавлен 12.08.2010Сущность и стадии развития тригонометрии. Свойства функции синус, косинус, тангенс, котангенс. Решение простых тригонометрических уравнений. Формула Эйлера как связь между математическим анализом и тригонометрией. Применение тригонометрических вычислений.
реферат [648,7 K], добавлен 15.06.2014Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.
курсовая работа [185,3 K], добавлен 24.05.2015Многошаговые методы и их построение. Вычисление интеграла. Формула для определения неизвестного значения сеточной функции. Запись разностной схемы четвертого порядка. Сущность методов Адамса, Милна, прогноза и коррекции. Оценка точности вычислений.
презентация [162,9 K], добавлен 18.04.2013Создание программы на языке матрично-ориентированной системы Mat LAB. Особенности математической интерпретации метода. Оценка влияния величины шага интегрирования и начальных значений на качество и точность вычислений. Анализ полученных результатов.
курсовая работа [459,0 K], добавлен 27.04.2011Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа [50,7 K], добавлен 28.05.2015Европейская математика эпохи Возрождения. Создание буквенного исчисления Франсуа Виет и метода решения уравнений. Усовершенствование вычислений в конце XVI – начале XVII веков: десятичные дроби, логарифмы. Установление связи тригонометрии и алгебры.
презентация [4,9 M], добавлен 20.09.2015Определение погрешности вычислений при численном дифференцировании. Алгебраический порядок точности численного метода как наибольшей степени полинома. Основной и вспомогательный бланк для решения задачи Коши. Применение интерполяционной формулы Лагранжа.
реферат [1,4 M], добавлен 10.06.2012История развития математической науки в Европе VI-XIV вв., ее представители и достижения. Развитие математики эпохи Возрождения. Создание буквенного исчисления, деятельность Франсуа Виета. Усовершенствование вычислений в конце XVI – начале XVI вв.
презентация [7,3 M], добавлен 20.09.2015Характеристика способов решения систем линейных алгебраических уравнений (СЛАУ). Описание проведения вычислений на компьютере методом Гаусса, методом квадратного корня, LU–методом. Реализация метода вращений средствами системы программирования Delphi.
курсовая работа [118,4 K], добавлен 04.05.2014Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки и методом Геделя.
курсовая работа [243,0 K], добавлен 16.02.2011Нечёткие системы логического вывода. Исследование основных понятий теории нечетких множеств. Операции над нечёткими множествами. Нечёткие соответствия и отношения. Описания особенностей логических операций: конъюнкции, дизъюнкции, отрицания и импликации.
презентация [191,0 K], добавлен 29.10.2013Сущность методов сведения краевой задачи к задаче Коши и алгоритмы их реализации на ПЭВМ. Применение метода стрельбы (пристрелки) для линейной краевой задачи, определение погрешности вычислений. Решение уравнения сшивания для нелинейной краевой задачи.
методичка [335,0 K], добавлен 02.03.2010Изучение аппроксимации таблично заданной функции методом наименьших квадратов при помощи вычислительной системы Mathcad. Исходные данные и функция, вычисляющая матрицу коэффициентов систему уравнений. Выполнение вычислений для разных порядков полинома.
лабораторная работа [166,4 K], добавлен 13.04.2016Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
курсовая работа [862,4 K], добавлен 12.12.2012Методы решения нелинейных уравнений: касательных и хорд, результаты их вычислений. Алгоритм и блок схема метода секущих. Исследование характерных примеров для практического сравнения эффективности рассмотренных методов разрешения нелинейных уравнений.
дипломная работа [793,2 K], добавлен 09.04.2015Ознакомление с основными элементами управления редактора Matlab. Выполнение элементарных вычислений с помощью данной программной системы. Структура справочной системы, принципы ее функционирования. Решение системы линейных уравнений в матричном виде.
лабораторная работа [289,8 K], добавлен 20.09.2015Понятие определенного интеграла, его геометрический смысл. Численные методы вычисления определенных интегралов. Формулы прямоугольников и трапеций. Применение пакета Mathcad для вычисления интегралов, проверка результатов вычислений с помощью Mathcad.
курсовая работа [1,0 M], добавлен 11.03.2013Уравнения с разделяющимися переменными, методы решения. Практический пример нахождения частного и общего решения. Понятие о неполных дифференциальных уравнениях. Линейные уравнения первого порядка. Метод вариации постоянной, разделения переменных.
презентация [185,0 K], добавлен 17.09.2013
