• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Допустимые правила вывода в полимодальной логике доказуемости

ФИО студента: Макаров Даниил Вячеславович

Руководитель: Беклемишев Лев Дмитриевич

Кампус/факультет: Факультет математики

Программа: Математика (Бакалавриат)

Год защиты: 2015

Мы применим методы, разработанные С. Гилярди [3], к полимодальной логике J ——- фрагменту логики доказуемости GLP. Мы опишем проективные формулы в логике J, докажем, что у любой формулы есть проективная аппроксимация и конечное множество более общих, чем остальные, унификаторов. Это даёт описание допустимых правил вывода в логике \J\ и может быть использовано для получения других форм описания допустимых правил в логике \J\ и допустимых правил в логике GLP.

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ