Инспектор
Вы можете этот курс.
Практикум по предикатам
: Информация
Опубликована: 22.04.2015 | Уровень: для всех | Стоимость: 490.00 руб. | Длительность: 14 дней
Практикум посвящен решению задач по предикатам.
В практикуме рассматриваются формальные системы и грамматики, исчисление высказываний и предикатов, построение предикатов и их представление в нормальной форме.
План занятий
| Занятие | Заголовок << | Дата изучения |
|---|---|---|
Лекция 1 | Формальные системы. Свойства, интерпретация, моделирование
Лекция посвящена формальным системам (ФС). Дается строгое определение ФС, приводятся примеры, рассматриваются свойства ФС.
Оглавление | - |
Лекция 2 | Формальные грамматики
В лекции рассматриваются и строго определяются такие понятия как формальный язык, грамматика языка, язык грамматики. Приводится классификация формальных грамматик по Хомскому. Рассматриваются примеры.
Оглавление | - |
Лекция 3 | Логика. Исчисления высказываний и исчисление предикатов
В начале лекции рассказывается об истории возникновения понятия " Логика". Далее обсуждаются основные различия между исчислением высказываний и исчислением предикатов. Рассматриваются правила вывода Modus Ponens, приводятся примеры их использования.
Оглавление | - |
Лекция 4 | Метатеория. Введение в исчисление предикатов
В первой половине лекции обсуждается понятие метатеории и метатеорем. Приводится теорема о дедукции, ее доказательство, обратная теорема о дедукции. В завершение рассматривается пример. Вторая половина лекции посвящена введению в исчисление предикатов (ИП): рассматриваются основные определения и понятия, дается формальное определение ИП.
Оглавление | - |
Лекция 5 | Интерпретация и полнота исчисления предикатов
В начале лекции кратко повторяются основные понятия и термины исчисления предикатов (ИП): алфавит, множество формул, множество аксиом, множество правил вывода. Далее рассматриваются понятия интерпретации и полноты ИП. Приводится теорема Гёделя о полноте, теоремы о разрешимости ИП.
Оглавление | - |
Лекция 6 | Метод резолюций в исчислении высказываний и исчислении предикатов
Лекция целиком посвящена методу резолюций в исчислении высказываний и исчислении предикатов. Подробно излагается идея и суть метода, даются основные определения и понятия, на житейском примере разбирается алгоритм работы. В заключении рассматривается метод аналитических таблиц как альтернатива методу резолюций.
Оглавление | - |
Лекция 7 | Построение предикатовОглавление | - |
Лекция 8 | Представление предикатов в нормальной формеОглавление | - |
3 минуты | - |