Метод вычислений в параллельном логическом выводе
Разработка метода вычислений для параллельного логического вывода на знаниях, представленных формулами исчисления предикатов первого порядка. Модификация формальной системы. Методы вычислений на подстановках с учетом параллельности логического вывода.
| Рубрика | Математика |
| Предмет | Математическое моделирование |
| Вид | статья |
| Язык | русский |
| Прислал(а) | Д.А. Страбыкин, М.М. Шихов |
| Дата добавления | 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