Предикатная логика на основе секвенциального исчисления, предназначенная для моделирования непрерывных шкал
Сущность бесконечнозначной предикатной логики, имеющей связку (нечеткое неравенство), близкой к импликации Лукасевича. Анализ ряда свойств секвенциального исчисления, в том числе свойств, служащих основой для процедур автоматического поиска доказательств.
Подобные документы
Исследование основных логических операций и их свойств. Алгебра высказываний. Проектирование и синтез дискретного автомата. Анализ контактной схемы и работы логического сумматора. Аналитическое выражение логической функции, описывающей работу схемы.
контрольная работа, добавлен 22.11.2015Свойства и методы вычисления пределов функций одной переменной. Исследование свойств функций, непрерывных в точке и на интервале, их корни и промежуточные значения, точки разрывов и их классификация. Использование метода сечений при построении графика.
эссе, добавлен 28.07.2013- 78. Алгебра логики
Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.
курсовая работа, добавлен 15.09.2017 Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014Изучение свойств показательной и логарифмической функций. Развитие интереса к математике; формирование навыков самостоятельной деятельности на уроке. Реализация творческого мышления при решении показательных и логарифмических уравнений и неравенств.
презентация, добавлен 24.10.2012- 82. Законы логики
Предмет и основные законы логики. Понятие как логическая форма. Логические действия с понятиями. Определение количества и качества суждений, их связка. Умозаключение как форма мысли, простой категорический силлогизм. Доказательство и опровержение.
контрольная работа, добавлен 25.03.2014 Создание математической модели, имеющей те же вероятностные характеристики, что и изучаемое случайное явление - одна из основных идей метода статистического моделирования. Специфические особенности закона распределения дискретной случайной величины.
контрольная работа, добавлен 12.01.2017Особенности контроллеров нечеткой логики как важного применения теории нечетких множеств. Общая структура нечеткого микроконтроллера. Описание лингвистической переменной и функции принадлежности. Принципы работы мобильного робота с нечеткой логикой.
реферат, добавлен 17.07.2013Неравенства Гельдера и Минковского. Декартово произведение метрических пространств. Пространства непрерывных и непрерывно дифференцируемых функций. Принцип сжимающих отображений. Линейные нормированные пространства. Полнота метрических пространств.
учебное пособие, добавлен 08.12.2013Ключевая роль неравенств в курсе математики средней школы. Решение неравенств с использованием свойств функции. Линейные, квадратичные, иррациональные, показательные и логарифмические неравенства. Некоторые лжепреобразования при решении неравенств.
дипломная работа, добавлен 09.11.2017- 87. Алгебра логики
Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.
презентация, добавлен 12.03.2015 Решение линейного уравнения Фоккера-Планка, его применение и особенности. Постановка вариационной задачи максимизации информационной энтропии по Клоду Шеннону. Анализ параметров решения уравнения методом моментов, сущность вариационного исчисления.
дипломная работа, добавлен 14.07.2016Обычные логические операции. Отрицание квантора общности и квантора существования. Свободная, кванторная и связанная переменные, двойственные кванторы. Формулы логики предикатов, равносильность формул. Выражение суждения в виде формулы логики предикатов.
презентация, добавлен 17.04.2013Определение и характеристика главных свойств тригонометрических и обратных тригонометрических функций. Изучение основных типов тригонометрических неравенств. Рассмотрение формул, упрощающих выражения и содержащих обратные тригонометрические функции.
контрольная работа, добавлен 15.01.2017Теория множеств с самопринадлежностью, свойства структурного изоморфизма при описании бесконечных самоподобных множеств. Анализ и описание свойств структурного изоморфизма, прикладная интерпретация этих свойств на предметной области формальных языков.
статья, добавлен 26.04.2019Алгебра логики как математическая основа преобразования логических функций. Основные свойства конъюнкции, дизъюнкции и отрицания. Методы составления таблицы истинности для импликации и сложения по модулю 2 совершенной дизъюнктивной нормальной формы.
курсовая работа, добавлен 29.04.2014Формулы логики предикатов, содержащие предикаты, зависящие только от одного переменного, направления исследования и соответствующие теоремы, доказательства. Практика по решению проблемы разрешимости формул, содержащих предикаты от одного переменного.
курсовая работа, добавлен 23.04.2011Формулировка задачи управления системой. Выявление входных воздействий, выходных переменных, возмущающих и управляющих воздействий и управляемых переменных. Получение математической модели, описывающей динамику изучаемой системы. Анализ свойств системы.
задача, добавлен 27.03.2016Знакомство с решением задачи моделирования нестационарного теплового режима тепловых сетей с учетом их теплоаккумулирующих свойств и многовариантной конфигурации. Основные способы и проблемы решения систем дифференциальных уравнений первого порядка.
статья, добавлен 19.12.2017Множества, операции над ними. Соответствия и функции. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры и теория множеств. Язык логики предикатов. Классы графов и их частей.
курс лекций, добавлен 07.04.2013Характеристика сущности и свойств матрицы. Анализ специфики ортогональных и унитарных матриц. Изучение детерминант матриц и их свойств. Примеры нахождения определителей N-го порядка. Примеры решения задач на определение видов и детерминант матриц.
курсовая работа, добавлен 31.10.2017Определение несобственного интеграла с бесконечными пределами. Оценка признаков сравнения функций. Мера ограниченной замкнутой области. Интегралы от неограниченных функций. Интегрирование неравенств фигуры и точки. Изучение свойств двойного интеграла.
лекция, добавлен 17.01.2014- 99. Логарифм
Определение логарифма, его основные свойства. Основное логарифмическое тождество. Десятичные и натуральные логарифмы. Логарифмическая функция, ее свойства и построение графика. Решение логарифмических уравнений и неравенств с помощью свойств логарифма.
презентация, добавлен 25.11.2013 Множества и основные операции над множествами. Упорядоченные пары и прямое произведение множеств. Основные законы и формулы комбинаторики. Логика высказываний: основные понятия, формулы, логические операции, составные высказывания и законы логики.
реферат, добавлен 07.11.2015