Система аксиом и теория формального вывода
Начало аксиоматической теории высказываний: первоначальные понятия, система аксиом, правило вывода. Общая характеристика вывода и его свойства. Теорема о дедукции и следствия из нее, сферы практического применения. Основные производные данного правила.
| Рубрика | Математика |
| Вид | лекция |
| Язык | русский |
| Дата добавления | 07.12.2014 |
| Размер файла | 29,5 K |
Соглашение об использовании материалов сайта
Просим использовать работы, опубликованные на сайте, исключительно в личных целях. Публикация материалов на других сайтах запрещена.
Данная работа (и все другие) доступна для скачивания совершенно бесплатно. Мысленно можете поблагодарить ее автора и коллектив сайта.
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.
курсовая работа [185,3 K], добавлен 24.05.2015Понятия сферической геометрии, соответствие между сферической геометрией и планиметрией. Применение сферической тригонометрии в навигации. Углы сферического многоугольника, анализ планиметрических аксиом. Теорема косинусов для сферических треугольников.
курсовая работа [761,7 K], добавлен 06.12.2011Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа [50,7 K], добавлен 28.05.2015Основные фигуры в пространстве. Геометрические тела: куб, параллелепипед, тетраэдр. Способ задания плоскости. Взаимное расположение прямой и плоскости. Следствия из аксиом стереометрии. Геометрические понятия: вершина, прямая, точка, ребро, грань.
презентация [316,1 K], добавлен 10.11.2013Основные понятия аксиоматической теории. Аксиоматический метод – фундаментальнейший метод организации и умножения научного знания в самых разных его областях. Этапы развития аксиоматического метода в науке. Евклидова система обоснования геометрии.
курсовая работа [28,9 K], добавлен 12.05.2009Элементарная теория сравнений. Диофантовы приближения. Определения и свойства сравнений. Теорема Эйлера, теорема Ферма. Китайская теорема об остатках, ее обобщение Цинь Цзюшао. Применение к решению олимпиадных задач. Применение к открытию сейфа в банке.
курсовая работа [243,5 K], добавлен 29.09.2015Функциональные и степенные ряды. Разложение функций в ряды Тейлора и Макларена. Теорема Дерихле. Основные понятия в теории вероятностей. Теорема умножения и сложения вероятностей независимых событий. Формулы Бейеса, Бернулли. Локальная теорема Лапласа.
методичка [96,6 K], добавлен 25.12.2010Понятие нечеткого множества и свойства его элементов. Определение логических операций: отрицания, конъюнкции, дизъюнкции. Основные этапы нечеткого вывода, метод центра тяжести. Оценка состояния повреждения объекта на основе теории нечетких множеств.
курсовая работа [316,8 K], добавлен 22.07.2011Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, автоматическое доказательство теорем. Элементы теории алгоритмов, алгоритмически неразрешимые задачи.
курс лекций [652,4 K], добавлен 29.11.2009Первоначальные элементы математики. Свойства натуральных чисел. Понятие теории чисел. Общие свойства сравнений и алгебраических уравнений. Арифметические действия со сравнениями. Основные законы арифметики. Проверка результатов арифметических действий.
курсовая работа [200,4 K], добавлен 15.05.2015
