Метод вычислений в параллельном логическом выводе
Разработка метода вычислений для параллельного логического вывода на знаниях, представленных формулами исчисления предикатов первого порядка. Модификация формальной системы. Методы вычислений на подстановках с учетом параллельности логического вывода.
Подобные документы
Принцип резолюций в логике высказываний. Доказательства невыполнимости, основанные на принципе резолюций. Приложения и примеры использования метода резолюций. Метод резолюций в логике предикатов. Стратегии и примеры использования метода резолюций.
курсовая работа, добавлен 04.02.2014Периоды развития математики в Китае и наиболее яркие открытия китайских учёных. Структура и рассматриваемые научные вопросы математических сочинений, входящих в сборник в "Десятикнижье". Техника вычислений, методы алгебры и геометрии в Древнем Китае.
реферат, добавлен 25.04.2011Задача структурного распознавания динамических процессов как актуальная задача коммуникационных процессов. Знакомство с особенностями разработки систем распознавания эмоционального состояния человека на основе нечетких систем и мягких вычислений.
статья, добавлен 13.11.2020Метод Рунге-Кутты для решения как одиночных дифференциальных уравнений первого порядка, так и систем уравнений первого порядка. Исследование метода Рунге-Кутты четвертого порядка для решения дифференциальных уравнений. Программа для решения уравнения.
контрольная работа, добавлен 29.03.2012Изучение эволюции уравнений и их решений. Теории вычислений Древнего Египта, способы решения квадратных уравнений в Древнем Вавилоне и арабских странах. Кубические уравнения Греции, формула Тартальи–Кардано. Методы решения уравнений высоких степеней.
курсовая работа, добавлен 22.05.2010Реконструкция картины возникновения теоретической математики. Отличие древнегреческой дедуктивной геометрии от системы вычислений на Востоке. Обобщение способов установления зависимости между получаемыми результатами и унификация правил решения задач.
автореферат, добавлен 25.02.2018Общие методы вывода квадратурных формул. Процесс вычисления определенного интеграла. Рассмотрения метода интегрирования Гаусса с плавающими узлами. Математические квадратуры в специальных случаях. Вычисление несобственных интегралов второго рода.
учебное пособие, добавлен 13.09.2015Очерк возникновения и применения тригонометрических вычислений. Открытие фактической связи отрезков треугольника с окружностью. Анализ геометрического определения тригонометрических тождеств. Обзор решений дифференциальных и функциональных уравнений.
контрольная работа, добавлен 05.10.2013Признавая высказывание за истинное, мы вынуждены также признавать и отвергать многие другие, связанные с ним. Сфера применения формально-логического тождества. Понятие диалектического и формально-логического противоречия. Закон исключенного третьего.
реферат, добавлен 17.03.2009Примеры вычислений поверхностного интеграла. Использование формул Остроградского-Гаусса и Стокса для вычисления площади поверхности и координат центра масс, моментов инерции материальных поверхностей с поверхностной плотностью распределения массы.
презентация, добавлен 29.03.2021Математическое вычисление массы и плотности детали при известных параметрах ее размеров. Рассмотрение методов формульного определения параметров абсолютной и относительной погрешности при расчете размеров конуса, цилиндра и прямоугольника деталей.
задача, добавлен 19.02.2015- 62. Логические дифференциальные операторы и уравнения над конечными полями и параллельные вычисления
Анализ тестопригодности и синтез интеллектуальных самотестируемых схем. Аппарат логического дифференциального исчисления. Методы событийно-управляемого анализа динамических цифровых систем. Задачи исследования чувствительности разрабатываемых систем.
статья, добавлен 18.01.2018 Математическое и физическое определение фрактала. Дифференциальные уравнения дробного порядка и примеры решений задач Коши. Метод Шварца и исследование двухсеточных параллельных алгоритмов для решения дробно-дифференциальных уравнений аномальной диффузии.
дипломная работа, добавлен 22.09.2014Анализ методической и психолого-педагогической литературы. Роль устных вычислений в математике, основные виды упражнений. Нахождение значений математических выражений. Формы восприятия устного счета. Формирование вычислительных навыков и приёмом.
контрольная работа, добавлен 19.02.2013Основное понятие булевой алгебры, характеристика и предназначение логических операций. Сущность операции отрицания, особенности и применение конъюнкции. Описание логического следования и логического равенства. Равносильные формулы алгебры логики.
презентация, добавлен 21.10.2018- 66. Задача Эйнштейна
Изучение особенностей составления и решения задачи Эйнштейна, благодаря которой определяется уровень умственных способностей испытуемого и его способности к решению сложных математических вычислений в уме, без использования дополнительных записей.
статья, добавлен 19.02.2019 Изобретение логарифмов Непером и Бюрги, их использование для удобства арифметических вычислений. Теоретические выводы и объяснения способа вычисления таблицы логарифмов, их практическое значение для исследования области новых трансцендентных функций.
реферат, добавлен 30.06.2011Особенность появления логарифмов в XVI веке под влиянием все возрастающих потребностей практики как средства для упрощения вычислений. Основные свойства логарифмической спирали. Применение логарифмов при обработке результатов тестирования в психологии.
статья, добавлен 27.02.2019Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.
методичка, добавлен 05.05.2014История происхождения и прикладное значение процентов. Применении процентных вычислений в задачах из разных сфер жизни человека. Решение задач на проценты разными способами: уравнением, составлением таблицы, применяя пропорцию, по действиям и правилам.
презентация, добавлен 23.01.2020Освоение решения типовой задачи оптимизации поисковым методом. Анализ и модификация метода решения реальной задачи оптимизации на основе конкретной научной публикации. Процесс исследования и минимизация функции. Блок-схема поискового метода Хука-Дживса.
курсовая работа, добавлен 20.11.2011Решение простейших дифференциальных уравнений первого порядка. Уравнения в полных дифференциалах, интегрирующий множитель. Нахождение интегрируемых комбинаций. Симметрическая форма системы дифференциальных уравнений. Приближенные методы интегрирования.
курсовая работа, добавлен 23.10.2017Расчет временных характеристик чистового сетевого графика. Нахождение ранних и поздних сроков совершения событий. Определение критического времени пути. Построение графиков минимального покрывающего дерева. Составление таблицы результатов вычислений.
задача, добавлен 03.04.2014Краткая история возникновения идеи логарифмов как математических чисел, применения которых, упрощает сложные операции арифметических вычислений. Изобретение логарифмов и их развитие от времен Архимеда до наших дней. Логарифмы и вычислительная техника.
презентация, добавлен 23.06.2012Анализ мышления как познавательного процесса. Изучение потенциала математики в развитии логического мышления младших школьников. Развитие логических приемов мышления при формировании математических понятий, а также при обучении учащихся суждению.
дипломная работа, добавлен 16.05.2016