Компьютерные науки

Практикум по предикатам

Программа для практической подготовки в теории графов, включающая решение задач на поиск кратчайших путей, анализ связности и оптимизацию данных.
Студентов 313 Для специалистов
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Объем
36 час.
Длительность
30 дней
Нагрузка в неделю
9 час.
Формат обучения
Дистанционно (самостоятельно)
Описание Учебный курс углубляет знания в области символической логики. В материалах рассматриваются формальные системы, грамматики и их свойства. Центральное место занимает изучение исчисления предикатов: построение предикатов, их интерпретация, проблемы полноты и приведение к нормальной форме. Также детально разбирается метод резолюций, который является базой для систем автоматического доказательства теорем.
Цели
  • Сформировать понимание синтаксиса и семантики логики первого порядка.
  • Раскрыть методы формализации утверждений с помощью исчисления предикатов.
  • Систематизировать знания о методе резолюций в математической логике.
Чему я научусь?
  • Преобразовывать логические формулы в нормальные формы.
  • Интерпретировать свойства формальных грамматик и систем.
  • Доказывать истинность утверждений с применением метода резолюций.

Авторы

Бояршинов Борис Сергеевич
Бояршинов Борис Сергеевич
Доцент, кандидат физико-математических наук, МГГУ им. Шолохова.
Кузнецов Олег Петрович
Кузнецов Олег Петрович
Профессор, доктор технических наук.\n\n
Чему я научусь?
  • Преобразовывать логические формулы в нормальные формы.
  • Интерпретировать свойства формальных грамматик и систем.
  • Доказывать истинность утверждений с применением метода резолюций.

Учебный план

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

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
^