Предикатная логика на основе секвенциального исчисления, предназначенная для моделирования непрерывных шкал
Сущность бесконечнозначной предикатной логики, имеющей связку (нечеткое неравенство), близкой к импликации Лукасевича. Анализ ряда свойств секвенциального исчисления, в том числе свойств, служащих основой для процедур автоматического поиска доказательств.
| Рубрика | Математика |
| Предмет | Математическая логика |
| Вид | статья |
| Язык | русский |
| Прислал(а) | Аля |
| Дата добавления | 17.01.2018 |
| Размер файла | 106,4 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Определение формулы исчисления высказываний, основные цели математической логики. Построение формул алгебры высказываний. Равносильность формул исчисления высказываний, конъюнктивная и дизъюнктивная нормальная форма. Постановка проблемы разрешимости.
контрольная работа [34,3 K], добавлен 12.08.2010Философский подход к количественной характеристике и ее переходу к качественной категории. Математический анализ гегелевской логики теории непрерывности. Определение числа посредством бесконечности. Сущность и значение метода дифференциального исчисления.
реферат [35,4 K], добавлен 14.08.2015Логическая переменная в алгебре логики. Логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Основные законы алгебры логики. Правила минимизации логической функции (избавление от операций импликации и эквивалентности).
курсовая работа [857,2 K], добавлен 16.01.2012Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
курсовая работа [207,1 K], добавлен 26.03.2012Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
контрольная работа [345,3 K], добавлен 29.11.2010Понятие предикатов и кванторов, порядок составления логических формул. Запись предиката как множество высказываний, формулы их исчисления. Аксиоматическое и натуральное представление узкого исчисления предикатов, погружение аристотелевской силлогистики.
контрольная работа [35,0 K], добавлен 12.08.2010Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа [50,7 K], добавлен 28.05.2015Применение методов математической логики и других разделов высшей математики в задачах теоретической лингвистики при анализе письменной речи на русском и английском языках. Исследование и распознавание речевых единиц. Методы математической логики.
реферат [39,8 K], добавлен 01.11.2012Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат [63,3 K], добавлен 06.12.2010История возникновения и развития математической логики как раздела математики, изучающего математические обозначения и формальные системы. Применение математической логики в технике и криптографии. Взаимосвязь программирования и математической логики.
контрольная работа [50,4 K], добавлен 10.10.2014Математическая теория нечетких множеств и нечеткая логика как обобщения классической теории множеств и классической формальной логики. Сферы и особенности применения нечетких экспертных систем. Анализ математического аппарата, способы задания функций.
презентация [1,0 M], добавлен 17.04.2013Понятие алгебры логики, ее сущность и особенности, основные понятия и определения, предмет и методика изучения. Законы алгебры логики и следствия из них, методы построения формул по заданной таблице истинности. Формы представления булевых функций.
учебное пособие [702,6 K], добавлен 29.04.2009Основы формальной логики Аристотеля. Понятия инверсии, конъюнкции и дизъюнкции. Основные законы алгебры логики. Основные законы, позволяющие производить тождественные преобразования логических выражений. Равносильные преобразования логических формул.
презентация [67,8 K], добавлен 23.12.2012Математическая логика (бессмысленная логика), логика "здравого смысла" и современная логика. Математические суждения и умозаключения, их направления. Математическая логика и "Здравый смысл" в XXI веке. Неестественная логика в основаниях математики.
реферат [32,2 K], добавлен 21.12.2008Основные теоремы и понятия дифференциального исчисления, связи между свойствами функции и её производных (или дифференциалов); применение математических методов в естествознании и технике. Решение уравнений и неравенств с помощью теорем Ролля и Лагранжа.
курсовая работа [609,9 K], добавлен 09.12.2011Идеи интегрального исчисления в работах древних математиков. Особенности метода исчерпывания. История нахождения формулы объема тора Кеплера. Теоретическое обоснование принципа интегрального исчисления (принцип Кавальери). Понятие определенного интеграла.
презентация [1,8 M], добавлен 05.07.2016История становления математики как науки. Период элементарной математики. Период создания математики переменных величин. Создание аналитической геометрии, дифференциального и интегрельного исчисления. Развитие математики в России в XVIII-XIX столетиях.
реферат [38,2 K], добавлен 09.10.2008Определение плоскости комплексного переменного, последовательностей комплексных чисел и пределов последовательностей. Дифференцирование функций, условия Коши, интеграл от функции. Числовые и степенные ряды, разложение функций, операционные исчисления.
курсовая работа [188,4 K], добавлен 17.11.2010Некоторые применения производной. Использование основных теорем дифференциального исчисления к доказательству неравенств. Первообразная и интеграл в задачах элементарной математики. Монотонность интеграла. Некоторые классические неравенства.
курсовая работа [166,4 K], добавлен 11.01.2004Вычисление комплексных чисел, модуля и аргумента, извлечение кубических корней. Нахождение синусов и косинусов в алгебраическом виде. Решение системы уравнений с помощью формул Крамера, вспомогательных определителей и средствами матричного исчисления.
контрольная работа [444,2 K], добавлен 11.05.2013
